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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CaseRole

 Sigma KEE - CaseRole
CaseRole(r�le d�pendant du cas)

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 2404-2407
(documentation CaseRole JapaneseLanguage "Predicates の Class は、Process の空間的に 区別されたパーツに関連する。CaseRoles は、例えば、作用の agent 、patient または destination、燃焼プロセスにおける可燃性物質、または雨に落ちる水を含む。") japanese_format.kif 483-485
(subclass CaseRole AsymmetricRelation) Merge.kif 2402-2402 R�le d�pendant du cas est une sous-classe de relation asym�trique
(subclass CaseRole BinaryPredicate) Merge.kif 2400-2400 R�le d�pendant du cas est une sous-classe de pr�dicat binaire
(subclass CaseRole InheritableRelation) Merge.kif 2401-2401 R�le d�pendant du cas est une sous-classe de 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 4160-4160 accountUsed est une instance de r�le d�pendant du cas
(instance agent CaseRole) Merge.kif 2431-2431 agent est une instance de r�le d�pendant du cas
(instance amountOfBid CaseRole) UXExperimentalTerms.kif 1446-1446 amountOfBid est une instance de r�le d�pendant du cas
(instance arrested CaseRole) Mid-level-ontology.kif 23756-23756 arrested est une instance de r�le d�pendant du cas
(instance arrestingOfficer CaseRole) Law.kif 226-226 arrestingOfficer est une instance de r�le d�pendant du cas
(instance attends CaseRole) Merge.kif 13130-13130 attends est une instance de r�le d�pendant du cas
(instance attorney CaseRole) Law.kif 443-443 attorney est une instance de r�le d�pendant du cas
(instance broker CaseRole) UXExperimentalTerms.kif 1680-1680 broker est une instance de r�le d�pendant du cas
(instance cargo CaseRole) Mid-level-ontology.kif 23155-23155 cargo est une instance de r�le d�pendant du cas
(instance catalyst CaseRole) VirusProteinAndCellPart.kif 250-250 catalyst est une instance de r�le d�pendant du cas
(instance changesLocation CaseRole) Merge.kif 11024-11024 changesLocation est une instance de r�le d�pendant du cas
(instance computerRunning CaseRole) QoSontology.kif 201-201 computerRunning est une instance de r�le d�pendant du cas
(instance contestParticipant CaseRole) Mid-level-ontology.kif 19936-19936 contestParticipant est une instance de r�le d�pendant du cas
(instance controlled CaseRole) Mid-level-ontology.kif 23705-23705 controlled est une instance de r�le d�pendant du cas
(instance conveyance CaseRole) Mid-level-ontology.kif 23811-23811 conveyance est une instance de r�le d�pendant du cas
(instance dataProcessed CaseRole) QoSontology.kif 1875-1875 dataProcessed est une instance de r�le d�pendant du cas
(instance defendant CaseRole) Mid-level-ontology.kif 16484-16484 defendant est une instance de r�le d�pendant du cas
(instance defenseLawyer CaseRole) Law.kif 280-280 defenseLawyer est une instance de r�le d�pendant du cas
(instance destination CaseRole) Merge.kif 2442-2442 destination est une instance de r�le d�pendant du cas
(instance detainee CaseRole) Mid-level-ontology.kif 7001-7001 detainee est une instance de r�le d�pendant du cas
(instance eCommerceSite CaseRole) UXExperimentalTerms.kif 1703-1703 eCommerceSite est une instance de r�le d�pendant du cas
(instance eventLocated CaseRole) Merge.kif 4121-4121 eventLocated est une instance de r�le d�pendant du cas

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 3904-3904 Le nombre 2 argument de capability est une instance de r�le d�pendant du cas
(domain capabilityDuring 2 CaseRole) Dining.kif 918-918 Le nombre 2 argument de capabilityDuring est une instance de r�le d�pendant du cas
(domain capableAtLocation 2 CaseRole) Transportation.kif 3210-3210 Le nombre 2 argument de capableAtLocation est une instance de r�le d�pendant du cas
(domain playsRoleInEvent 2 CaseRole) Mid-level-ontology.kif 23521-23521 Le nombre 2 argument de playsRoleInEvent est une instance de r�le d�pendant du cas
(domain playsRoleInEventOfType 2 CaseRole) Mid-level-ontology.kif 23554-23554 Le nombre 2 argument de playsRoleInEventOfType est une instance de r�le d�pendant du cas

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


(=>
    (and
        (?ROLE ?EVENT ?OBJ)
        (instance ?ROLE CaseRole)
        (instance ?EVENT Process)
        (instance ?OBJ Object))
    (playsRoleInEvent ?OBJ ?ROLE ?EVENT))		 Mid-level-ontology.kif 23535-23541
(=>
    (and
        (instance ?REL CaseRole)
        (instance ?OBJ Object)
        (?REL ?PROCESS ?OBJ))
    (exists (?TIME)
        (overlapsSpatially
            (WhereFn ?PROCESS ?TIME) ?OBJ)))		 Merge.kif 9637-9643
(=>
    (and
        (instance ?ROLE CaseRole)
        (?ROLE ?ARG1 ?ARG2)
        (instance ?ARG1 ?PROC)
        (subclass ?PROC Process))
    (capability ?PROC ?ROLE ?ARG2))		 Merge.kif 3911-3917
(=>
    (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 3214-3223
(=>
    (instance ?R CaseRole)
    (subrelation ?R involvedInEvent))		 Merge.kif 2427-2429