SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > BinaryPredicate > cooccur |
cooccur comparison table |
Subject | have domain2 | have domain1 | be first domain of | be second domain of | documentation | have axiom | is a kind of | is an instance of |
---|---|---|---|---|---|---|---|---|
BinaryPredicate | singleValued | inverse | A Predicate relating two items - its valence is two | (=> | Predicate | |||
EquivalenceRelation | trichotomizingOn | inverse | A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation | (=> | TransitiveRelation | |||
TemporalRelation | valence | subrelation | The Class of temporal Relations. This Class includes notions of (temporal) topology of intervals, (temporal) schemata, and (temporal) extension | (forall (?INT) (domain exhaustiveDecomposition ?INT Class)) | Relation | |||
cooccur | Physical | Physical | valence | subrelation | (cooccur ?THING1 ?THING2) means that the Object or Process ?THING1 occurs at the same time as, together with, or jointly with the Object or Process ?THING2. This covers the following temporal relations: is co-incident with, is concurrent with, is contemporaneous with, and is concomitant with | (<=> | TemporalRelation |
Next BinaryPredicate: copy Up: BinaryPredicate, EquivalenceRelation, TemporalRelation Previous BinaryPredicate: contraryProperty