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

KB Term:  Term intersection
English Word: 

Sigma KEE - involvedInEvent
involvedInEvent

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


(documentation involvedInEvent EnglishLanguage "(involvedInEvent ?EVENT ?THING) means that in the Process ?EVENT, the Entity ?THING plays some CaseRole.") Merge.kif 2518-2519
(instance involvedInEvent BinaryPredicate) Merge.kif 2521-2521
(domain involvedInEvent 1 Process) Merge.kif 2522-2522
(domain involvedInEvent 2 Entity) Merge.kif 2523-2523

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


(subrelation agent involvedInEvent) Merge.kif 2543-2543
(subrelation destination involvedInEvent) Merge.kif 2554-2554
(subrelation experiencer involvedInEvent) Merge.kif 2568-2568
(subrelation origin involvedInEvent) Merge.kif 2592-2592
(subrelation patient involvedInEvent) Merge.kif 2605-2605
(subrelation eventPartlyLocated involvedInEvent) Merge.kif 4223-4223
(subrelation moves involvedInEvent) Merge.kif 11239-11239
(subrelation direction involvedInEvent) Merge.kif 17294-17294
(format EnglishLanguage involvedInEvent "%2 is %n an involved in event of %1") domainEnglishFormat.kif 1387-1387
(format ChineseTraditionalLanguage involvedInEvent "%2 %n 是事件 %1 的 involved ") domainEnglishFormat.kif 1388-1388
(format ChineseLanguage involvedInEvent "%2 %n 是事件 %1 的 involved ") domainEnglishFormat.kif 1389-1389
(termFormat EnglishLanguage involvedInEvent "involved in event") domainEnglishFormat.kif 30903-30903
(termFormat ChineseTraditionalLanguage involvedInEvent "參與活動") domainEnglishFormat.kif 30904-30904
(termFormat ChineseLanguage involvedInEvent "参与活动") domainEnglishFormat.kif 30905-30905

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


(=>
    (and
        (instance ?LGP LargeGroupProcess)
        (instance ?G CollectionOfObjects)
        (member ?M ?G)
        (involvedInEvent ?LGP ?M)
        (memberCount ?G ?N))
    (greaterThan ?N 10))		 Mid-level-ontology.kif 9261-9268
(=>
    (and
        (instance ?LGP LargeGroupProcess)
        (instance ?G CollectionOfObjects)
        (member ?M ?G)
        (involvedInEvent ?LGP ?M))
    (exists (?P ?PC)
        (and
            (instance ?PC ?P)
            (involvedInEvent ?PC ?M))))		 Mid-level-ontology.kif 9270-9279
(=>
    (and
        (instance ?I Ingesting)
        (experiencer ?I ?H)
        (objectTransferred ?I ?MS)
        (instance ?MS MoodStabilizer)
        (instance ?E ?EC)
        (involvedInEvent ?E ?H)
        (holdsDuring
            (WhenFn ?E)
            (attribute ?H ?ES))
        (instance ?ES EmotionalState)
        (instance ?E2 ?EC)
        (involvedInEvent ?E2 ?H)
        (earlier
            (WhenFn ?E2)
            (WhenFn ?I)))
    (modalAttribute
        (not
            (holdsDuring ?E2
                (attribute ?H ?ES))) Unlikely))		 Mid-level-ontology.kif 11219-11240
(<=>
    (subrelation ?PRED involvedInEvent)
    (instance ?PRED CaseRole))		 Media.kif 119-121
(=>
    (and
        (instance ?E Epidemic)
        (involvedInEvent ?E ?H))
    (or
        (and
            (instance ?D DiseaseOrSyndrome)
            (attribute ?H ?D))
        (exists (?P)
            (and
                (instance ?P PathologicProcess)
                (experiencer ?P ?H)
                (subProcess ?P ?E)))))		 Medicine.kif 3547-3559

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


(=>
    (instance ?R CaseRole)
    (subrelation ?R involvedInEvent))		 Merge.kif 2535-2537
(=>
    (instance ?INTERACTION SocialInteraction)
    (exists (?AGENT1 ?AGENT2)
        (and
            (involvedInEvent ?INTERACTION ?AGENT1)
            (involvedInEvent ?INTERACTION ?AGENT2)
            (instance ?AGENT1 AutonomousAgent)
            (instance ?AGENT2 AutonomousAgent)
            (not
                (equal ?AGENT1 ?AGENT2)))))		 Merge.kif 13302-13311
(=>
    (instance ?P Parasite)
    (modalAttribute
        (exists (?H ?PROC)
            (and
                (located ?P ?H)
                (involvedInEvent ?PROC ?P)
                (involvedInEvent ?PROC ?H)
                (benefits ?PROC ?P)
                (suffers ?PROC ?H))) Likely))		 Mid-level-ontology.kif 7013-7023
(=>
    (and
        (instance ?LGP LargeGroupProcess)
        (instance ?G CollectionOfObjects)
        (member ?M ?G)
        (involvedInEvent ?LGP ?M))
    (exists (?P ?PC)
        (and
            (instance ?PC ?P)
            (involvedInEvent ?PC ?M))))		 Mid-level-ontology.kif 9270-9279
(=>
    (holdsDuring ?T
        (attribute ?H PostTraumaticStressDisorder))
    (exists (?V)
        (and
            (instance ?V ViolentContest)
            (earlier
                (WhenFn ?V) ?T)
            (involvedInEvent ?V ?H))))		 Mid-level-ontology.kif 11192-11200
(=>
    (equal ?DEP
        (DepartmentOfPreventingFn ?COMP ?PHYS))
    (not
        (desires ?COMP
            (exists (?P)
                (and
                    (instance ?P ?PHYS)
                    (involvedInEvent ?P ?COMP))))))		 Mid-level-ontology.kif 20313-20320
(=>
    (manner ?P Solely)
    (exists (?H)
        (and
            (involvedInEvent ?P ?H)
            (instance ?H AutonomousAgent)
            (not
                (exists (?H2)
                    (and
                        (involvedInEvent ?P ?H2)
                        (instance ?H2 AutonomousAgent)
                        (not
                            (equal ?H ?H2))))))))		 Mid-level-ontology.kif 32841-32852
(<=>
    (holdsDuring ?T
        (attribute ?H Alone))
    (not
        (exists (?H2 ?SI)
            (and
                (not
                    (equal ?H ?H2))
                (instance ?H2 AutonomousAgent)
                (instance ?SI SocialInteraction)
                (during
                    (WhenFn ?SI) ?T)
                (involvedInEvent ?SI ?H)
                (involvedInEvent ?SI ?H2)))))		 Mid-level-ontology.kif 32857-32870
(=>
    (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 6108-6128
(=>
    (hazardous ?A ?B)
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Damaging)
                (patient ?D ?B)
                (or
                    (involvedInEvent ?D ?A)
                    (causes ?A ?D)))) Possibility))		 Geography.kif 7476-7485
(=>
    (instance ?E Pandemic)
    (exists (?H1 ?H2 ?N1 ?N2 ?C1 ?C2)
        (and
            (involvedInEvent ?E ?H1)
            (involvedInEvent ?E ?H2)
            (not
                (equal ?H1 ?H2))
            (instance ?N1 Nation)
            (instance ?N2 Nation)
            (not
                (equal ?N1 ?N2))
            (instance ?C1 Continent)
            (instance ?C2 Continent)
            (not
                (equal ?C1 ?C2))
            (holdsDuring
                (WhenFn ?E)
                (or
                    (and
                        (located ?H1 ?C1)
                        (located ?H2 ?C2))
                    (and
                        (located ?H1 ?N1)
                        (located ?H2 ?N2)))))))		 Medicine.kif 3567-3591
(=>
    (instance ?MV MilitarySupportVehicle)
    (hasPurpose ?MV
        (exists (?P)
            (and
                (instance ?P MilitaryProcess)
                (involvedInEvent ?P ?MV)
                (not
                    (exists (?A)
                        (and
                            (instance ?A ViolentContest)
                            (instrument ?A ?MV))))))))		 Military.kif 466-477


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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners