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。") chinese_format.kif 1863-1864
(documentation involvedInEvent EnglishLanguage "(involvedInEvent ?EVENT ?THING) means that in the Process ?EVENT, the Entity ?THING plays some CaseRole.") Merge.kif 2310-2311
(domain involvedInEvent 1 Process) Merge.kif 2315-2315 The number 1 argument of involved in event is an instance of process
(domain involvedInEvent 2 Entity) Merge.kif 2316-2316 The number 2 argument of involved in event is an instance of entity
(instance involvedInEvent AsymmetricRelation) Merge.kif 2314-2314 involved in event is an instance of asymmetric relation
(instance involvedInEvent BinaryPredicate) Merge.kif 2313-2313 involved in event is an instance of binary predicate

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


(format ChineseLanguage involvedInEvent "%2 %n 是事件 %1 的 involved ") domainEnglishFormat.kif 1389-1389
(format ChineseTraditionalLanguage involvedInEvent "%2 %n 是事件 %1 的 involved ") domainEnglishFormat.kif 1388-1388
(format EnglishLanguage involvedInEvent "%2 is %n an involved in event of %1") domainEnglishFormat.kif 1387-1387
(subrelation agent involvedInEvent) Merge.kif 2336-2336 agent is a subrelation of involved in event
(subrelation destination involvedInEvent) Merge.kif 2347-2347 destination is a subrelation of involved in event
(subrelation direction involvedInEvent) Merge.kif 15729-15729 direction is a subrelation of involved in event
(subrelation eventPartlyLocated involvedInEvent) Merge.kif 3934-3934 event partly located is a subrelation of involved in event
(subrelation experiencer involvedInEvent) Merge.kif 2361-2361 experiencer is a subrelation of involved in event
(subrelation moves involvedInEvent) Merge.kif 10224-10224 moves is a subrelation of involved in event
(subrelation origin involvedInEvent) Merge.kif 2385-2385 origin is a subrelation of involved in event
(subrelation patient involvedInEvent) Merge.kif 2398-2398 patient is a subrelation of involved in event
(termFormat ChineseLanguage involvedInEvent "参与活动") domainEnglishFormat.kif 30799-30799
(termFormat ChineseTraditionalLanguage involvedInEvent "參與活動") domainEnglishFormat.kif 30798-30798
(termFormat EnglishLanguage involvedInEvent "involved in event") domainEnglishFormat.kif 30797-30797

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


(<=>
    (subrelation ?PRED involvedInEvent)
    (instance ?PRED CaseRole))
Media.kif 119-121 A relation is a subrelation of involved in event if and only if the relation is an instance of case role

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


(<=>
    (holdsDuring ?T
        (attribute ?H Alone))
    (not
        (exists (?H2 ?SI)
            (and
                (not
                    (equal ?H ?H2))
                (instance ?H2 Agent)
                (instance ?SI SocialInteraction)
                (during
                    (WhenFn ?SI) ?T)
                (involvedInEvent ?SI ?H)
                (involvedInEvent ?SI ?H2)))))
Mid-level-ontology.kif 28381-28394 Alone is an attribute of an entity holds during a time interval if and only if there don't exist the entity2 and a process such that the entity is not equal to the entity2 and the entity2 is an instance of agent and the process is an instance of social interaction and the time of existence of the process takes place during the time interval and the entity is an involved in event of the process and the entity2 is an involved in event of the process
(=>
    (and
        (equal ?DEP
            (DepartmentOfPreventingFn ?COMP ?PHYS))
        (subclass ?PHYS Process))
    (not
        (desires ?COMP
            (exists (?P)
                (and
                    (instance ?P ?PHYS)
                    (involvedInEvent ?P ?COMP))))))
Mid-level-ontology.kif 16070-16079
(=>
    (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 12031-12040
(=>
    (instance ?R CaseRole)
    (subrelation ?R involvedInEvent))
Merge.kif 2328-2330
(=>
    (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 28365-28376


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