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
(domain involvedInEvent 2 Entity) Merge.kif 2559-2559
(instance involvedInEvent AsymmetricRelation) Merge.kif 2557-2557
(instance involvedInEvent BinaryPredicate) Merge.kif 2556-2556

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 destination involvedInEvent) Merge.kif 2592-2592
(subrelation direction involvedInEvent) Merge.kif 17251-17251
(subrelation eventPartlyLocated involvedInEvent) Merge.kif 4245-4245
(subrelation experiencer involvedInEvent) Merge.kif 2609-2609
(subrelation moves involvedInEvent) Merge.kif 10947-10947
(subrelation origin involvedInEvent) Merge.kif 2638-2638
(subrelation patient involvedInEvent) Merge.kif 2653-2653
(termFormat EnglishLanguage involvedInEvent "involved in event") domainEnglishFormat.kif 5567-5567

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


(<=>
    (subrelation ?PRED involvedInEvent)
    (instance ?PRED CaseRole))
Media.kif 119-121

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
(=>
    (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