SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > causes
Next AsymmetricRelation: citizen    Up: AsymmetricRelation, BinaryPredicate    Previous AsymmetricRelation: CaseRole   

causes 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 
causesProcessProcesssingleValuedThe causation relation between situations or propositions. (causes ?PROCESS1 ?PROCESS2) means that the state of affairs expressed by ?PROCESS1 brings about the state of affairs expressed by ?PROCESS2
(=>
    (instance ?PROC1 Process)
    (exists (?PROC2)
       (causes ?PROC2 ?PROC1)))
 BinaryPredicate

Next AsymmetricRelation: citizen    Up: AsymmetricRelation, BinaryPredicate    Previous AsymmetricRelation: CaseRole