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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CaseRole
CaseRole(case role)active, case_role, participating, self, 格役割, 格角色

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


(documentation CaseRole ChineseLanguage "这是一个 Predicate 的 Class， 它把 Process 中可以从空间上区别的部分联系起来。 CaseRole 包括 agent、 patient 或行动的 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 2304-2307
(subclass CaseRole AsymmetricRelation) Merge.kif 2302-2302 Case role is a subclass of asymmetric relation
(subclass CaseRole BinaryPredicate) Merge.kif 2300-2300 Case role is a subclass of binary predicate
(subclass CaseRole InheritableRelation) Merge.kif 2301-2301 Case role is a subclass of inheritable relation

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 4044-4044 account used is an instance of case role
(instance agent CaseRole) Merge.kif 2331-2331 agent is an instance of case role
(instance amountOfBid CaseRole) UXExperimentalTerms.kif 1646-1646 bid amount is an instance of case role
(instance arrested CaseRole) Mid-level-ontology.kif 21385-21385 arrested is an instance of case role
(instance arrestingOfficer CaseRole) Law.kif 267-267 arresting officer is an instance of case role
(instance attends CaseRole) Merge.kif 12016-12016 attends is an instance of case role
(instance attorney CaseRole) Law.kif 485-485 attorney is an instance of case role
(instance broker CaseRole) UXExperimentalTerms.kif 1883-1883 broker is an instance of case role
(instance cargo CaseRole) Mid-level-ontology.kif 20752-20752 cargo is an instance of case role
(instance catalyst CaseRole) VirusProteinAndCellPart.kif 205-205 catalyst is an instance of case role
(instance changesLocation CaseRole) Merge.kif 10136-10136 changes location is an instance of case role
(instance computerRunning CaseRole) QoSontology.kif 199-199 computer running is an instance of case role
(instance contestParticipant CaseRole) Mid-level-ontology.kif 17456-17456 contest participant is an instance of case role
(instance controlled CaseRole) Mid-level-ontology.kif 21334-21334 controlled is an instance of case role
(instance conveyance CaseRole) Mid-level-ontology.kif 21442-21442 conveyance is an instance of case role
(instance dataProcessed CaseRole) QoSontology.kif 1881-1881 data processed is an instance of case role
(instance defendant CaseRole) Mid-level-ontology.kif 13912-13912 defendant is an instance of case role
(instance defenseLawyer CaseRole) Law.kif 321-321 defense lawyer is an instance of case role
(instance destination CaseRole) Merge.kif 2342-2342 destination is an instance of case role
(instance detainee CaseRole) Mid-level-ontology.kif 6443-6443 detainee is an instance of case role
(instance direction CaseRole) Merge.kif 15632-15632 direction is an instance of case role
(instance eCommerceSite CaseRole) UXExperimentalTerms.kif 1906-1906 eCommerceSite 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 3639-3639 The number 2 argument of capability is an instance of case role
(domain capabilityDuring 2 CaseRole) Dining.kif 871-871 The number 2 argument of capable during is an instance of case role
(domain capableAtLocation 2 CaseRole) Transportation.kif 2657-2657 The number 2 argument of capable at location is an instance of case role
(domain playsRoleInEvent 2 CaseRole) Mid-level-ontology.kif 21139-21139 The number 2 argument of plays role in event is an instance of case role
(domain playsRoleInEventOfType 2 CaseRole) Mid-level-ontology.kif 21176-21176 The number 2 argument of plays role in event of type is an instance of case role

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


(=>
    (and
        (?ROLE ?EVENT ?OBJ)
        (instance ?ROLE CaseRole)
        (instance ?EVENT Process)
        (instance ?OBJ Object))
    (playsRoleInEvent ?OBJ ?ROLE ?EVENT))		 Mid-level-ontology.kif 21157-21163
(=>
    (and
        (instance ?REL CaseRole)
        (instance ?OBJ Object)
        (?REL ?PROCESS ?OBJ))
    (exists (?TIME)
        (overlapsSpatially
            (WhereFn ?PROCESS ?TIME) ?OBJ)))		 Merge.kif 8903-8909
(=>
    (and
        (instance ?ROLE CaseRole)
        (?ROLE ?ARG1 ?ARG2)
        (instance ?ARG1 ?PROC)
        (subclass ?PROC Process))
    (capability ?PROC ?ROLE ?ARG2))		 Merge.kif 3646-3652
(=>
    (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 ?REGION))		 Transportation.kif 2661-2670
(=>
    (instance ?R CaseRole)
    (subrelation ?R involvedInEvent))		 Merge.kif 2327-2329