SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > frequency
Next AsymmetricRelation: front    Up: AsymmetricRelation, BinaryPredicate    Previous AsymmetricRelation: fills   

frequency comparison table
Subject have domain2 have domain1 be first domain of documentation have axiom is a kind of is an instance of
AsymmetricRelation  trichotomizingOnA BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation
(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
       (not 
          (holds ?REL ?INST ?INST))))
IrreflexiveRelation 
BinaryPredicate  singleValuedA Predicate relating two items - its valence is two
(=>
 	(instance ?REL BinaryPredicate)
 	(valence ?REL 2))
Predicate 
frequencyTimeDurationProcesssingleValued(frequency ?PROC ?TIME) means that the Process type of ?PROC recurs after every interval of ?TIME
(=>
    (frequency ?PROC ?TIME1)
    (forall (?TIME2)
       (=>
          (duration ?TIME2 ?TIME1)
          (exists (?POINT)
             (and
                (temporalPart ?POINT ?TIME2)
                (holdsDuring ?POINT (exists (?INST) (instance ?INST ?PROC))))))))
 BinaryPredicate

Next AsymmetricRelation: front    Up: AsymmetricRelation, BinaryPredicate    Previous AsymmetricRelation: fills