SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > CaseRole > origin
Next CaseRolepath    UpCaseRole    Previous CaseRoleexperiencer   

origindocumentation (origin ?PROCESS ?SOURCE) means that ?SOURCE indicates where the ?Process began. Note that this relation implies that ?SOURCE is present at the beginning of the process, but need not participate throughout the process. For example, the submarine is the origin in the following proposition: the missile was launched from a submarine2001-11-30 13:34:53.0
has domain1 Process2001-11-30 13:34:53.0
has domain2 Object2001-11-30 13:34:53.0
is an instance of CaseRole2001-11-30 13:34:53.0
CaseRolehas axiom
(instance ?REL CaseRole)
(holds ?REL ?PROCESS ?OBJ))
(exists (?TIME)
(overlapsSpatially (WhereFn ?PROCESS ?TIME) ?OBJ)))
2001-11-30 13:33:48.0
has axiom
(instance ?ROLE CaseRole)
(holds ?ROLE ?ARG1 ?ARG2)
(instance ?ARG1 ?PROC))
(capability ?PROC ?ROLE ?ARG2))
2001-11-30 13:33:48.0
is second domain of capability2001-11-30 13:33:48.0
BinaryRelationis first domain of DomainFn2001-11-30 13:33:44.0
is first domain of equivalenceRelationOn2001-11-30 13:33:44.0
is first domain of inverse2001-11-30 13:33:44.0
is first domain of irreflexiveOn2001-11-30 13:33:44.0
is first domain of partialOrderingOn2001-11-30 13:33:44.0
is first domain of RangeFn2001-11-30 13:33:44.0
is first domain of reflexiveOn2001-11-30 13:33:44.0
is first domain of totalOrderingOn2001-11-30 13:33:44.0
is first domain of trichotomizingOn2001-11-30 13:33:44.0
Predicateis first domain of singleValued2001-11-30 13:35:02.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next CaseRolepath    UpCaseRole    Previous CaseRoleexperiencer