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 2409-2410
(documentation involvedInEvent JapaneseLanguage "(involvedInEvent ?EVENT ?THING) とは、 Process ?EVENTでは、、Entity ?THING は CaseRole の役をする、という意味である。") japanese_format.kif 486-487
(domain involvedInEvent 1 Process) Merge.kif 2414-2414 involvedInEvent の数値 1 引数は 工程 の instance では %n
(domain involvedInEvent 2 Entity) Merge.kif 2415-2415 involvedInEvent の数値 2 引数は エンティティー の instance では %n
(instance involvedInEvent AsymmetricRelation) Merge.kif 2413-2413 involvedInEvent は 非対称関係 の instance では %n
(instance involvedInEvent BinaryPredicate) Merge.kif 2412-2412 involvedInEvent は 2進述語 の instance では %n

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 2435-2435 agent は involvedInEvent の subrelation では %n
(subrelation destination involvedInEvent) Merge.kif 2446-2446 destination は involvedInEvent の subrelation では %n
(subrelation direction involvedInEvent) Merge.kif 16940-16940 direction は involvedInEvent の subrelation では %n
(subrelation eventPartlyLocated involvedInEvent) Merge.kif 4117-4117 eventPartlyLocated は involvedInEvent の subrelation では %n
(subrelation experiencer involvedInEvent) Merge.kif 2460-2460 experiencer は involvedInEvent の subrelation では %n
(subrelation moves involvedInEvent) Merge.kif 10987-10987 moves は involvedInEvent の subrelation では %n
(subrelation origin involvedInEvent) Merge.kif 2484-2484 origin は involvedInEvent の subrelation では %n
(subrelation patient involvedInEvent) Merge.kif 2497-2497 patient は involvedInEvent の subrelation では %n
(termFormat ChineseLanguage involvedInEvent "参与活动") domainEnglishFormat.kif 30901-30901
(termFormat ChineseTraditionalLanguage involvedInEvent "參與活動") domainEnglishFormat.kif 30900-30900
(termFormat EnglishLanguage involvedInEvent "involved in event") domainEnglishFormat.kif 30899-30899

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


(<=>
    (subrelation ?PRED involvedInEvent)
    (instance ?PRED CaseRole))		 Media.kif 119-121 関係 は involvedInEvent の subrelation では %n 関係 は 格役割 の instance では %n
(=>
    (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 3517-3529
(=>
    (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 9774-9795
(=>
    (and
        (instance ?LGP LargeGroupProcess)
        (instance ?G Collection)
        (member ?M ?G)
        (involvedInEvent ?LGP ?M)
        (memberCount ?G ?N))
    (greaterThan ?N 10))		 Mid-level-ontology.kif 7940-7947
(=>
    (and
        (instance ?LGP LargeGroupProcess)
        (instance ?G Collection)
        (member ?M ?G)
        (involvedInEvent ?LGP ?M))
    (exists (?P ?PC)
        (and
            (instance ?PC ?P)
            (involvedInEvent ?PC ?M))))		 Mid-level-ontology.kif 7949-7958

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


(<=>
    (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 30223-30236 Alone は エンティティー の attribute では %n は 時間間隔 の during holds %n{ない} エンティティー2 工程 エンティティー は エンティティー2 と equal では エンティティー2 は AutonomousAgent の instance では %n 工程 は 社会的交流 の instance では %n 工程 の time の existence は 時間間隔 の during に takes %n{ない} involvedInEvent 工程 and エンティティー involvedInEvent 工程 and エンティティー2
(=>
    (and
        (instance ?LGP LargeGroupProcess)
        (instance ?G Collection)
        (member ?M ?G)
        (involvedInEvent ?LGP ?M))
    (exists (?P ?PC)
        (and
            (instance ?PC ?P)
            (involvedInEvent ?PC ?M))))		 Mid-level-ontology.kif 7949-7958
(=>
    (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 5747-5767
(=>
    (equal ?DEP
        (DepartmentOfPreventingFn ?COMP ?PHYS))
    (not
        (desires ?COMP
            (exists (?P)
                (and
                    (instance ?P ?PHYS)
                    (involvedInEvent ?P ?COMP))))))		 Mid-level-ontology.kif 18408-18415
(=>
    (hazardous ?A ?B)
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Damaging)
                (patient ?D ?B)
                (or
                    (involvedInEvent ?D ?A)
                    (causes ?A ?D)))) Possibility))		 Geography.kif 5876-5885
(=>
    (holdsDuring ?T
        (attribute ?H PostTraumaticStressDisorder))
    (exists (?V)
        (and
            (instance ?V ViolentContest)
            (earlier
                (WhenFn ?V) ?T)
            (involvedInEvent ?V ?H))))		 Mid-level-ontology.kif 9747-9755
(=>
    (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 3537-3561
(=>
    (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 13004-13013
(=>
    (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 5894-5904
(=>
    (instance ?R CaseRole)
    (subrelation ?R involvedInEvent))		 Merge.kif 2427-2429
(=>
    (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 30207-30218


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 is open source software produced by Articulate Software and its partners