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

Formal Language: 



KB Term:  Term intersection
English Word: 

  involvedInEvent

 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 involvedInEvent 的 1 数量 是 过程 的 instance
(domain involvedInEvent 2 Entity) Merge.kif 2559-2559 involvedInEvent 的 2 数量 是 实体 的 instance
(instance involvedInEvent AsymmetricRelation) Merge.kif 2557-2557 involvedInEvent 是 非对称关系 的 instance
(instance involvedInEvent BinaryPredicate) Merge.kif 2556-2556 involvedInEvent 是 二元谓语 的 instance

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 主事 是 involvedInEvent 的 subrelation
(subrelation destination involvedInEvent) Merge.kif 2592-2592 终点 是 involvedInEvent 的 subrelation
(subrelation direction involvedInEvent) Merge.kif 17251-17251 方向 是 involvedInEvent 的 subrelation
(subrelation eventPartlyLocated involvedInEvent) Merge.kif 4245-4245 eventPartlyLocated 是 involvedInEvent 的 subrelation
(subrelation experiencer involvedInEvent) Merge.kif 2609-2609 经历者 是 involvedInEvent 的 subrelation
(subrelation moves involvedInEvent) Merge.kif 10947-10947 moves 是 involvedInEvent 的 subrelation
(subrelation origin involvedInEvent) Merge.kif 2638-2638 源头 是 involvedInEvent 的 subrelation
(subrelation patient involvedInEvent) Merge.kif 2653-2653 受事 是 involvedInEvent 的 subrelation
(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 关系 是 involvedInEvent 的 subrelation 若且唯若 那个 关系 是 格角色 的 instance

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 Alone 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 和 过程 这样 第三 实体 不 equal 那个 另外 实体 和 那个 另外 实体 是 施事体 的 instance 和 那个 过程 是 社交 的 instance 和 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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