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


KB Term:  Term intersection
English Word: 

Sigma KEE - CaseRole
CaseRole

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


(subclass CaseRole BinaryPredicate) Merge.kif 2435-2435
(subclass CaseRole InheritableRelation) Merge.kif 2436-2436
(subclass CaseRole AsymmetricRelation) Merge.kif 2437-2437
(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 2439-2442

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


(instance referee CaseRole) ComputingBrands.kif 1677-1677
(instance plays CaseRole) ComputingBrands.kif 1691-1691
(instance accountUsed CaseRole) ComputingBrands.kif 4066-4066
(instance evidence CaseRole) Law.kif 169-169
(instance judge CaseRole) Law.kif 190-190
(instance witness CaseRole) Law.kif 207-207
(instance arrestingOfficer CaseRole) Law.kif 227-227
(instance defenseLawyer CaseRole) Law.kif 259-259
(instance prosecutor CaseRole) Law.kif 288-288
(instance attorney CaseRole) Law.kif 424-424
(instance agent CaseRole) Merge.kif 2466-2466
(instance destination CaseRole) Merge.kif 2477-2477
(instance experiencer CaseRole) Merge.kif 2491-2491
(instance instrument CaseRole) Merge.kif 2504-2504
(instance origin CaseRole) Merge.kif 2515-2515
(instance patient CaseRole) Merge.kif 2528-2528
(instance resource CaseRole) Merge.kif 2544-2544
(instance resourceExhausted CaseRole) Merge.kif 2567-2567
(instance result CaseRole) Merge.kif 2584-2584
(instance eventPartlyLocated CaseRole) Merge.kif 4132-4132
(instance eventLocated CaseRole) Merge.kif 4165-4165
(instance moves CaseRole) Merge.kif 11135-11135
(instance changesLocation CaseRole) Merge.kif 11148-11148
(instance path CaseRole) Merge.kif 11228-11228
(instance objectTransferred CaseRole) Merge.kif 11500-11500

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain capabilityDuring 2 CaseRole) Dining.kif 918-918
(domain capability 2 CaseRole) Merge.kif 3940-3940
(domain playsRoleInEvent 2 CaseRole) Mid-level-ontology.kif 25598-25598
(domain playsRoleInEventOfType 2 CaseRole) Mid-level-ontology.kif 25631-25631
(domain capableAtLocation 2 CaseRole) Transportation.kif 3738-3738

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


(=>
    (instance ?R CaseRole)
    (subrelation ?R involvedInEvent))		 Merge.kif 2462-2464
(=>
    (and
        (instance ?ROLE CaseRole)
        (?ROLE ?ARG1 ?ARG2)
        (instance ?ARG1 ?PROC)
        (subclass ?PROC Process))
    (capability ?PROC ?ROLE ?ARG2))		 Merge.kif 3947-3953
(=>
    (and
        (instance ?REL CaseRole)
        (instance ?OBJ Object)
        (?REL ?PROCESS ?OBJ))
    (exists (?TIME)
        (overlapsSpatially
            (WhereFn ?PROCESS ?TIME) ?OBJ)))		 Merge.kif 9757-9763
(=>
    (and
        (?ROLE ?EVENT ?OBJ)
        (instance ?ROLE CaseRole)
        (instance ?EVENT Process)
        (instance ?OBJ Object))
    (playsRoleInEvent ?OBJ ?ROLE ?EVENT))		 Mid-level-ontology.kif 25612-25618
(=>
    (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 3742-3751