November 27th, 2012

Такое вот аксиомко...

// копия поста в dot15926...



PropertyWithValueOfTemporalPart( x1, x2, x3, x4, x5, x6 ) <->

  PossibleIndividual( x1 ) &
  PossibleIndividual( x2 ) &
  ClassOfProperty( x3 ) &
  ExpressReal( x4 ) &
  Scale( x5 ) &
  RepresentationOfGregorianDateAndUtcTime( x6 ) &

  TemporalWholePartTemplate( x2, x1 ) &

exist u( PointInTime( u ) & 
  BeginningTemplate( u, x2 ) &
  ClassOfIdentificationTemplate( x6, u ) ) &

exist p( Property( p ) & 
  ClassificationTemplate( x2, p ) &
  ClassificationTemplate( p, x3 ) ) &

exist r( RealNumber( r ) & 
  ClassOfIdentification( x4, r ) ) &
  
exist q( Relationship( q ) & 
  PropertyQuantificationTriple( q, p, r ) &
  ClassificationTemplate( q, x5 ) ).