SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > precondition |
precondition comparison table |
Subject | have domain2 | have domain1 | be first domain of | documentation | have axiom | is a kind of | is an instance of |
---|---|---|---|---|---|---|---|
AsymmetricRelation | trichotomizingOn | A BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation | (=> | IrreflexiveRelation | |||
BinaryPredicate | singleValued | A Predicate relating two items - its valence is two | (=> | Predicate | |||
TransitiveRelation | trichotomizingOn | A BinaryRelation ?REL is transitive if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3 | (=> | BinaryRelation | |||
precondition | Process | Process | singleValued | A very general Predicate. (precondition ?PROC1 ?PROC2) means that ?PROC2 can exist or be true only if ?PROC1 exists or is true. At some point, this Predicate should probably be broken up into more specific Predicates with more restrictive domain restrictions | (=> | TransitiveRelation |
Next AsymmetricRelation: properlyFills Up: AsymmetricRelation, BinaryPredicate, TransitiveRelation Previous AsymmetricRelation: possesses