SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > precondition |
precondition | ||||
subject | fact |
precondition | documentation 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 | |
has domain1 Process | ||
has domain2 Process | ||
is an instance of AsymmetricRelation | ||
is an instance of BinaryPredicate | ||
is an instance of TransitiveRelation | ||
BinaryPredicate | has axiom (=> | |
TransitiveRelation | has axiom (=> | |
has axiom (=> | ||
has axiom (=> | ||
BinaryRelation | is first domain of DomainFn | |
is first domain of equivalenceRelationOn | ||
is first domain of inverse | ||
is first domain of irreflexiveOn | ||
is first domain of partialOrderingOn | ||
is first domain of RangeFn | ||
is first domain of reflexiveOn | ||
is first domain of totalOrderingOn | ||
is first domain of trichotomizingOn | ||
is second domain of inverse | ||
Predicate | is first domain of singleValued | |
Class | is third domain of domain | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |
Next AsymmetricRelation: properlyFills Up: AsymmetricRelation, BinaryPredicate, TransitiveRelation Previous AsymmetricRelation: possesses