SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > CaseRole
Next AsymmetricRelationcauses    UpAsymmetricRelation, BinaryPredicate    Previous AsymmetricRelationCardinalityFn   

CaseRole
subjectfact 
CaseRoledocumentation The Class of Predicates relating the spatially distinguished parts of a Process. CaseRoles include, for example, the agent, patient or destination of an action, the flammable substance in a burning process, or the water that falls in rain2001-11-30 13:33:48.0
has axiom
(=>
(and
(instance ?REL CaseRole)
(holds ?REL ?PROCESS ?OBJ))
(exists (?TIME)
(overlapsSpatially (WhereFn ?PROCESS ?TIME) ?OBJ)))
2001-11-30 13:33:48.0
has axiom
(=>
(and
(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
is a kind of AsymmetricRelation2001-11-30 13:33:48.0
is a kind of BinaryPredicate2001-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

Kinds of CaseRole :

Next AsymmetricRelationcauses    UpAsymmetricRelation, BinaryPredicate    Previous AsymmetricRelationCardinalityFn