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 这些例子、燃烧过程中的易燃物质,或是降雨过程中的雨水。") 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 2360-2363
(subclass CaseRole AsymmetricRelation) Merge.kif 2358-2358 格角色非对称关系subclass
(subclass CaseRole BinaryPredicate) Merge.kif 2356-2356 格角色二元谓语subclass
(subclass CaseRole InheritableRelation) Merge.kif 2357-2357 格角色可继承的关系subclass

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 4158-4158 accountUsed格角色instance
(instance agent CaseRole) Merge.kif 2387-2387 主事格角色instance
(instance amountOfBid CaseRole) UXExperimentalTerms.kif 1649-1649 amountOfBid格角色instance
(instance arrestingOfficer CaseRole) Law.kif 269-269 arrestingOfficer格角色instance
(instance attends CaseRole) Merge.kif 12938-12938 出席格角色instance
(instance attorney CaseRole) Law.kif 487-487 attorney格角色instance
(instance broker CaseRole) UXExperimentalTerms.kif 1888-1888 broker格角色instance
(instance catalyst CaseRole) VirusProteinAndCellPart.kif 205-205 催化剂格角色instance
(instance changesLocation CaseRole) Merge.kif 10919-10919 改变位置格角色instance
(instance computerRunning CaseRole) QoSontology.kif 201-201 电脑运行格角色instance
(instance contestParticipant CaseRole) Mid-level-ontology.kif 19456-19456 比赛参与者格角色instance
(instance dataProcessed CaseRole) QoSontology.kif 1875-1875 数据已处理格角色instance
(instance defendant CaseRole) Mid-level-ontology.kif 16105-16105 被告格角色instance
(instance defenseLawyer CaseRole) Law.kif 323-323 defenseLawyer格角色instance
(instance destination CaseRole) Merge.kif 2398-2398 终点格角色instance
(instance detainee CaseRole) Mid-level-ontology.kif 6739-6739 被拘留者格角色instance
(instance direction CaseRole) Merge.kif 16782-16782 方向格角色instance
(instance eCommerceSite CaseRole) UXExperimentalTerms.kif 1911-1911 eCommerceSite格角色instance
(instance enjoys CaseRole) Mid-level-ontology.kif 7324-7324 享受格角色instance
(instance eventLocated CaseRole) Merge.kif 4057-4057 eventLocated格角色instance
(instance eventPartlyLocated CaseRole) Merge.kif 4026-4026 eventPartlyLocated格角色instance
(instance evidence CaseRole) Law.kif 212-212 evidence格角色instance

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 3849-3849 能够 的 2 数量 是 格角色instance
(domain capabilityDuring 2 CaseRole) Dining.kif 918-918 capabilityDuring 的 2 数量 是 格角色instance
(domain capableAtLocation 2 CaseRole) Transportation.kif 2687-2687 能够在位置 的 2 数量 是 格角色instance

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


(=>
    (and
        (instance ?REL CaseRole)
        (instance ?OBJ Object)
        (?REL ?PROCESS ?OBJ))
    (exists (?TIME)
        (overlapsSpatially
            (WhereFn ?PROCESS ?TIME) ?OBJ)))
Merge.kif 9534-9540
(=>
    (and
        (instance ?ROLE CaseRole)
        (?ROLE ?ARG1 ?ARG2)
        (instance ?ARG1 ?PROC)
        (subclass ?PROC Process))
    (capability ?PROC ?ROLE ?ARG2))
Merge.kif 3856-3862
(=>
    (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 2691-2700
(=>
    (instance ?R CaseRole)
    (subrelation ?R involvedInEvent))
Merge.kif 2383-2385