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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CaseRole
CaseRole

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


(documentation CaseRole ChineseLanguage "这是一个 PredicateClass, 它把 Process 中可以从空间上区别的部分联系起来。 CaseRole 包括 agentpatient 或行动的 destination 这些例子、燃烧过程中的易燃物质,或是降雨过程中的雨水。") Merge.kif 2548-2550
(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 2544-2547
(subclass CaseRole AsymmetricRelation) Merge.kif 2543-2543
(subclass CaseRole BinaryPredicate) Merge.kif 2541-2541
(subclass CaseRole InheritableRelation) Merge.kif 2542-2542

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


(format EnglishLanguage CaseRole "%2 is %n a case role of %1") domainEnglishFormat.kif 105-105
(instance agent CaseRole) Merge.kif 2575-2575
(instance amountOfBid CaseRole) UXExperimentalTerms.kif 1649-1649
(instance arrested CaseRole) Mid-level-ontology.kif 21384-21384
(instance arrestingOfficer CaseRole) Law.kif 266-266
(instance attends CaseRole) Merge.kif 13028-13028
(instance attorney CaseRole) Law.kif 483-483
(instance broker CaseRole) UXExperimentalTerms.kif 1885-1885
(instance cargo CaseRole) Mid-level-ontology.kif 20751-20751
(instance catalyst CaseRole) VirusProteinAndCellPart.kif 205-205
(instance changesLocation CaseRole) Merge.kif 10950-10950
(instance computerRunning CaseRole) QoSontology.kif 196-196
(instance contestParticipant CaseRole) Mid-level-ontology.kif 17455-17455
(instance controlled CaseRole) Mid-level-ontology.kif 21333-21333
(instance conveyance CaseRole) Mid-level-ontology.kif 21441-21441
(instance dataProcessed CaseRole) QoSontology.kif 1870-1870
(instance defendant CaseRole) Mid-level-ontology.kif 13912-13912
(instance defenseLawyer CaseRole) Law.kif 319-319
(instance destination CaseRole) Merge.kif 2588-2588
(instance detainee CaseRole) Mid-level-ontology.kif 6442-6442
(instance direction CaseRole) Merge.kif 17247-17247
(instance eCommerceSite CaseRole) UXExperimentalTerms.kif 1908-1908
(instance enjoys CaseRole) Mid-level-ontology.kif 7033-7033
(instance eventLocated CaseRole) Merge.kif 4248-4248
(instance eventPartlyLocated CaseRole) Merge.kif 4215-4215

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 4031-4031
(domain capabilityDuring 2 CaseRole) Dining.kif 875-875
(domain capableAtLocation 2 CaseRole) Transportation.kif 2629-2629
(domain playsRoleInEvent 2 CaseRole) Mid-level-ontology.kif 21138-21138
(domain playsRoleInEventOfType 2 CaseRole) Mid-level-ontology.kif 21175-21175

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


(=>
    (and
        (?ROLE ?EVENT ?OBJ)
        (instance ?ROLE CaseRole)
        (instance ?EVENT Process)
        (instance ?OBJ Object))
    (playsRoleInEvent ?OBJ ?ROLE ?EVENT))
Mid-level-ontology.kif 21156-21162
(=>
    (and
        (instance ?REL CaseRole)
        (instance ?OBJ Object)
        (?REL ?PROCESS ?OBJ))
    (exists (?TIME)
        (overlapsSpatially
            (WhereFn ?PROCESS ?TIME) ?OBJ)))
Merge.kif 9619-9625
(=>
    (and
        (instance ?ROLE CaseRole)
        (?ROLE ?ARG1 ?ARG2)
        (instance ?ARG1 ?PROC)
        (subclass ?PROC Process))
    (capability ?PROC ?ROLE ?ARG2))
Merge.kif 4039-4045
(=>
    (and
        (subclass ?TYPE Process)
        (instance ?EVENT ?TYPE)
        (eventLocated ?EVENT ?REGION)
        (instance ?ROLE CaseRole)
        (instance ?OBJECT Object)
        (instance ?REGION GeographicArea)
        (?ROLE ?EVENT ?OBJECT))
    (capableAtLocation ?TYPE ?ROLE ?OBJECT ?PLACE))
Transportation.kif 2633-2642
(=>
    (instance ?R CaseRole)
    (subrelation ?R involvedInEvent))
Merge.kif 2571-2573