Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  CaseRole

 Sigma KEE - CaseRole
CaseRole(case role)active, participating, self

appearance as argument number 1
-------------------------


(subclass CaseRole BinaryPredicate) Merge.kif 2510-2510 Case role is a subclass of binary predicate
(subclass CaseRole InheritableRelation) Merge.kif 2511-2511 Case role is a subclass of inheritable relation
(documentation CaseRole EnglishLanguage "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 rain.") Merge.kif 2513-2516 Case role is a subclass of inheritable relation

appearance as argument number 2
-------------------------


(instance agent CaseRole) Merge.kif 2539-2539 agent is an instance of case role
(instance destination CaseRole) Merge.kif 2550-2550 destination is an instance of case role
(instance experiencer CaseRole) Merge.kif 2564-2564 experiencer is an instance of case role
(instance instrument CaseRole) Merge.kif 2577-2577 instrument is an instance of case role
(instance origin CaseRole) Merge.kif 2588-2588 origin is an instance of case role
(instance patient CaseRole) Merge.kif 2601-2601 patient is an instance of case role
(instance resource CaseRole) Merge.kif 2617-2617 resource is an instance of case role
(instance resourceExhausted CaseRole) Merge.kif 2640-2640 resource exhausted is an instance of case role
(instance result CaseRole) Merge.kif 2658-2658 result is an instance of case role
(instance eventPartlyLocated CaseRole) Merge.kif 4195-4195 event partly located is an instance of case role
(instance eventLocated CaseRole) Merge.kif 4228-4228 event located is an instance of case role
(instance moves CaseRole) Merge.kif 11229-11229 moves is an instance of case role
(instance changesLocation CaseRole) Merge.kif 11242-11242 changes location is an instance of case role
(instance path CaseRole) Merge.kif 11322-11322 path is an instance of case role
(instance objectTransferred CaseRole) Merge.kif 11611-11611 object transferred is an instance of case role
(instance objectAttached CaseRole) Merge.kif 12662-12662 attached is an instance of case role
(instance objectDetached CaseRole) Merge.kif 12712-12712 detached is an instance of case role
(instance attends CaseRole) Merge.kif 13382-13382 attends is an instance of case role
(instance fulcrum CaseRole) Mid-level-ontology.kif 1572-1572 fulcrum is an instance of case role
(instance lever CaseRole) Mid-level-ontology.kif 1616-1616 lever is an instance of case role
(instance detainee CaseRole) Mid-level-ontology.kif 8099-8099 detainee is an instance of case role
(instance targetInAttack CaseRole) Mid-level-ontology.kif 8105-8105 target in attack is an instance of case role
(instance reactant CaseRole) Mid-level-ontology.kif 10166-10166 reactant is an instance of case role
(instance reagent CaseRole) Mid-level-ontology.kif 10173-10173 reagent is an instance of case role
(instance experimentalControl CaseRole) Mid-level-ontology.kif 17320-17320 experimental control is an instance of case role

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain capability 2 CaseRole) Merge.kif 4005-4005 The number 2 argument of capability is an instance of case role
(domain playsRoleInEvent 2 CaseRole) Mid-level-ontology.kif 25556-25556 The number 2 argument of plays role in event is an instance of case role
(domain playsRoleInEventOfType 2 CaseRole) Mid-level-ontology.kif 25589-25589 The number 2 argument of plays role in event of type is an instance of case role
(domain capabilityDuring 2 CaseRole) Dining.kif 921-921 The number 2 argument of capable during is an instance of case role
(domain capableAtLocation 2 CaseRole) Transportation.kif 3762-3762 The number 2 argument of capable at location is an instance of case role

antecedent
-------------------------


(=>
    (instance ?R CaseRole)
    (subrelation ?R involvedInEvent))		 Merge.kif 2535-2537 If X is an instance of case role, then X is a subrelation of involved in event
(=>
    (and
        (instance ?ROLE CaseRole)
        (?ROLE ?ARG1 ?ARG2)
        (instance ?ARG1 ?PROC)
        (subclass ?PROC Process))
    (capability ?PROC ?ROLE ?ARG2))		 Merge.kif 4012-4018 If X is an instance of case role, X Y and Z, Y is an instance of W, and W is a subclass of process, then Z is capable of doing W as a X
(=>
    (and
        (instance ?REL CaseRole)
        (instance ?OBJ Object)
        (?REL ?PROCESS ?OBJ))
    (exists (?TIME)
        (overlapsSpatially
            (WhereFn ?PROCESS ?TIME) ?OBJ)))		 Merge.kif 9826-9832 If X is an instance of case role, Y is an instance of object, and X Z and Y, then there exists W such that the place where Z was at W and Y overlapsSpatially
(=>
    (and
        (?ROLE ?EVENT ?OBJ)
        (instance ?ROLE CaseRole)
        (instance ?EVENT Process)
        (instance ?OBJ Object))
    (playsRoleInEvent ?OBJ ?ROLE ?EVENT))		 Mid-level-ontology.kif 25570-25576 If X Y and Z, X is an instance of case role, Y is an instance of process, and Z is an instance of object, then Z plays role in event X for Y
(=>
    (and
        (subclass ?TYPE Translocation)
        (instance ?EVENT ?TYPE)
        (eventLocated ?EVENT ?REGION)
        (instance ?ROLE CaseRole)
        (instance ?OBJECT Object)
        (instance ?REGION GeographicArea)
        (capability ?TYPE ?ROLE ?OBJECT))
    (capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION))		 Transportation.kif 3766-3775 If All of the following hold: (1) X is a subclass of translocation (2) Y is an instance of X (3) Y is located at Z (4) W is an instance of case role (5) V is an instance of object (6) Z is an instance of geographic area (7) V is capable of doing X as a W, then X capable at location W for V with Z