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