SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > BinaryPredicate > cooccur |
cooccur | ||||
subject | fact |
cooccur | documentation (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 | |
has axiom (<=> | ||
has domain1 Physical | ||
has domain2 Physical | ||
is an instance of BinaryPredicate | ||
is an instance of EquivalenceRelation | ||
is an instance of TemporalRelation | ||
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 | |
Relation | is first domain of domain | |
is first domain of domainSubclass | ||
is first domain of holds | ||
is first domain of subrelation | ||
is first domain of valence | ||
is second domain of subrelation | ||
Class | is third domain of domain | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |
Next BinaryPredicate: copy Up: BinaryPredicate, EquivalenceRelation, TemporalRelation Previous BinaryPredicate: contraryProperty