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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Astatine

Sigma KEE - involvedInEvent
involvedInEvent

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


(documentation involvedInEvent ChineseLanguage "(involvedInEvent ?EVENT ?THING) 的意思是 在 ?EVENT这个 Process,?THING 这个 Entity 佔着一点 CaseRole。") Merge.kif 2531-2532
(documentation involvedInEvent EnglishLanguage "(involvedInEvent ?EVENT ?THING) means that in the Process ?EVENT, the Entity ?THING plays some CaseRole.") Merge.kif 2529-2530
(domain involvedInEvent 1 Process) Merge.kif 2535-2535
(domain involvedInEvent 2 Entity) Merge.kif 2536-2536
(instance involvedInEvent AsymmetricRelation) Merge.kif 2534-2534
(instance involvedInEvent BinaryPredicate) Merge.kif 2533-2533

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 2556-2556
(subrelation destination involvedInEvent) Merge.kif 2569-2569
(subrelation direction involvedInEvent) Merge.kif 17113-17113
(subrelation eventPartlyLocated involvedInEvent) Merge.kif 4214-4214
(subrelation experiencer involvedInEvent) Merge.kif 2586-2586
(subrelation moves involvedInEvent) Merge.kif 10809-10809
(subrelation origin involvedInEvent) Merge.kif 2615-2615
(subrelation patient involvedInEvent) Merge.kif 2630-2630
(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 27933-27944
(=>
    (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 12804-12813
(=>
    (instance ?R CaseRole)
    (subrelation ?R involvedInEvent))
Merge.kif 2548-2550
(=>
    (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 27918-27929


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