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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - CaseRole

appearance as argument number 1

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

appearance as argument number 2

(format ChineseLanguage CaseRole "%2 %n 是 %1 的 case 角色") domainEnglishFormat.kif 384-384
(format ChineseTraditionalLanguage CaseRole "%2 %n 是 %1 的 case 角色") domainEnglishFormat.kif 383-383
(format EnglishLanguage CaseRole "%2 is %n a case role of %1") domainEnglishFormat.kif 382-382
(instance accountUsed CaseRole) ComputingBrands.kif 4085-4085 instance accountUsed and CaseRole
(instance agent CaseRole) Merge.kif 2332-2332 instance agent and CaseRole
(instance amountOfBid CaseRole) UXExperimentalTerms.kif 1646-1646 instance amountOfBid and CaseRole
(instance arrested CaseRole) Mid-level-ontology.kif 21397-21397 instance arrested and CaseRole
(instance arrestingOfficer CaseRole) Law.kif 269-269 instance arrestingOfficer and CaseRole
(instance attends CaseRole) Merge.kif 12107-12107 instance attends and CaseRole
(instance attorney CaseRole) Law.kif 487-487 instance attorney and CaseRole
(instance broker CaseRole) UXExperimentalTerms.kif 1883-1883 instance broker and CaseRole
(instance cargo CaseRole) Mid-level-ontology.kif 20764-20764 instance cargo and CaseRole
(instance catalyst CaseRole) VirusProteinAndCellPart.kif 205-205 instance catalyst and CaseRole
(instance changesLocation CaseRole) Merge.kif 10227-10227 instance changesLocation and CaseRole
(instance computerRunning CaseRole) QoSontology.kif 199-199 instance computerRunning and CaseRole
(instance contestParticipant CaseRole) Mid-level-ontology.kif 17457-17457 instance contestParticipant and CaseRole
(instance controlled CaseRole) Mid-level-ontology.kif 21346-21346 instance controlled and CaseRole
(instance conveyance CaseRole) Mid-level-ontology.kif 21454-21454 instance conveyance and CaseRole
(instance dataProcessed CaseRole) QoSontology.kif 1881-1881 instance dataProcessed and CaseRole
(instance defendant CaseRole) Mid-level-ontology.kif 13913-13913 instance defendant and CaseRole
(instance defenseLawyer CaseRole) Law.kif 323-323 instance defenseLawyer and CaseRole
(instance destination CaseRole) Merge.kif 2343-2343 instance destination and CaseRole
(instance detainee CaseRole) Mid-level-ontology.kif 6443-6443 instance detainee and CaseRole
(instance direction CaseRole) Merge.kif 15725-15725 instance direction and CaseRole
(instance eCommerceSite CaseRole) UXExperimentalTerms.kif 1906-1906 instance eCommerceSite and CaseRole

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 3729-3729 domain capability, 2 and CaseRole
(domain capabilityDuring 2 CaseRole) Dining.kif 871-871 domain capabilityDuring, 2 and CaseRole
(domain capableAtLocation 2 CaseRole) Transportation.kif 2666-2666 domain capableAtLocation, 2 and CaseRole
(domain playsRoleInEvent 2 CaseRole) Mid-level-ontology.kif 21151-21151 domain playsRoleInEvent, 2 and CaseRole
(domain playsRoleInEventOfType 2 CaseRole) Mid-level-ontology.kif 21188-21188 domain playsRoleInEventOfType, 2 and CaseRole


        (?ROLE ?EVENT ?OBJ)
        (instance ?ROLE CaseRole)
        (instance ?EVENT Process)
        (instance ?OBJ Object))
    (playsRoleInEvent ?OBJ ?ROLE ?EVENT))
Mid-level-ontology.kif 21169-21175
        (instance ?REL CaseRole)
        (instance ?OBJ Object)
        (?REL ?PROCESS ?OBJ))
    (exists (?TIME)
            (WhereFn ?PROCESS ?TIME) ?OBJ)))
Merge.kif 8994-9000
        (instance ?ROLE CaseRole)
        (?ROLE ?ARG1 ?ARG2)
        (instance ?ARG1 ?PROC)
        (subclass ?PROC Process))
    (capability ?PROC ?ROLE ?ARG2))
Merge.kif 3736-3742
        (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 ?REGION))
Transportation.kif 2670-2679
    (instance ?R CaseRole)
    (subrelation ?R involvedInEvent))
Merge.kif 2328-2330