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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - involvedInEvent
involvedInEvent

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


(documentation involvedInEvent ChineseLanguage "(involvedInEvent ?EVENT ?THING) 的意思是 在 ?EVENT这个 Process，?THING 这个 Entity 佔着一点 CaseRole。") Merge.kif 2554-2555
(documentation involvedInEvent EnglishLanguage "(involvedInEvent ?EVENT ?THING) means that in the Process ?EVENT, the Entity ?THING plays some CaseRole.") Merge.kif 2552-2553
(domain involvedInEvent 1 Process) Merge.kif 2558-2558 domain involvedInEvent, 1 and 工程
(domain involvedInEvent 2 Entity) Merge.kif 2559-2559 domain involvedInEvent, 2 and エンティティー
(instance involvedInEvent AsymmetricRelation) Merge.kif 2557-2557 instance involvedInEvent and 非対称関係
(instance involvedInEvent BinaryPredicate) Merge.kif 2556-2556 instance involvedInEvent and 2進述語

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


(format EnglishLanguage involvedInEvent "%2 is %n an involved in event of %1") domainEnglishFormat.kif 355-355
(subrelation agent involvedInEvent) Merge.kif 2579-2579 subrelation agent and involvedInEvent
(subrelation destination involvedInEvent) Merge.kif 2592-2592 subrelation destination and involvedInEvent
(subrelation direction involvedInEvent) Merge.kif 17251-17251 subrelation direction and involvedInEvent
(subrelation eventPartlyLocated involvedInEvent) Merge.kif 4245-4245 subrelation eventPartlyLocated and involvedInEvent
(subrelation experiencer involvedInEvent) Merge.kif 2609-2609 subrelation experiencer and involvedInEvent
(subrelation moves involvedInEvent) Merge.kif 10947-10947 subrelation moves and involvedInEvent
(subrelation origin involvedInEvent) Merge.kif 2638-2638 subrelation origin and involvedInEvent
(subrelation patient involvedInEvent) Merge.kif 2653-2653 subrelation patient and involvedInEvent
(termFormat EnglishLanguage involvedInEvent "involved in event") domainEnglishFormat.kif 5567-5567 termFormat EnglishLanguage, involvedInEvent and "involved in event"

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


(<=>
    (subrelation ?PRED involvedInEvent)
    (instance ?PRED CaseRole))		 Media.kif 119-121 subrelation 関係 and involvedInEvent instance 関係 and 格役割

consequent
-------------------------


(<=>
    (holdsDuring ?T
        (attribute ?P Alone))
    (not
        (exists (?H2 ?SI)
            (and
                (not
                    (equal ?H ?H2))
                (instance ?H2 Agent)
                (instance ?SI SocialInteraction)
                (involvedInEvent ?SI ?H)
                (involvedInEvent ?SI ?H2)))))		 Mid-level-ontology.kif 28374-28385 holdsDuring 時間位置 and attribute エンティティー and Alone エンティティー 工程 equal エンティティー and エンティティー instance エンティティー and 代理(人) instance 工程 and 社会的交流 involvedInEvent 工程 and エンティティー involvedInEvent 工程 and エンティティー
(=>
    (attribute ?X MeanOfProduction)
    (hasPurpose ?X
        (or
            (exists (?MAKE ?PRODUCT)
                (and
                    (instance ?MAKE Making)
                    (involvedInEvent ?MAKE ?X)
                    (not
                        (result ?MAKE ?X))
                    (instance ?PRODUCT Artifact)
                    (result ?MAKE ?PRODUCT)
                    (hasPurpose ?PRODUCT
                        (exists (?SELL)
                            (and
                                (instance ?SELL Selling)
                                (patient ?SELL ?PRODUCT))))))
            (exists (?SERVICE)
                (and
                    (instance ?SERVICE CommercialService)
                    (involvedInEvent ?SERVICE ?X))))))		 Economy.kif 4632-4652
(=>
    (instance ?INTERACTION SocialInteraction)
    (exists (?AGENT1 ?AGENT2)
        (and
            (involvedInEvent ?INTERACTION ?AGENT1)
            (involvedInEvent ?INTERACTION ?AGENT2)
            (instance ?AGENT1 Agent)
            (instance ?AGENT2 Agent)
            (not
                (equal ?AGENT1 ?AGENT2)))))		 Merge.kif 12941-12950
(=>
    (instance ?R CaseRole)
    (subrelation ?R involvedInEvent))		 Merge.kif 2571-2573
(=>
    (manner ?P Solely)
    (and
        (exists (?H)
            (and
                (involvedInEvent ?P ?H)
                (instance ?H Agent)))
        (not
            (exists (?H2)
                (and
                    (involvedInEvent ?P ?H2)
                    (instance ?H2 Agent))))))		 Mid-level-ontology.kif 28359-28370


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners