ko444evnik (ko444evnik) wrote,
ko444evnik
ko444evnik

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

// копия поста в 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 ) ).
Subscribe

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your IP address will be recorded 

  • 0 comments