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

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 2431-2431 agentinvolvedInEventsubrelation では
(subrelation destination involvedInEvent) Merge.kif 2442-2442 destinationinvolvedInEventsubrelation では
(subrelation direction involvedInEvent) Merge.kif 17100-17100 directioninvolvedInEventsubrelation では
(subrelation eventPartlyLocated involvedInEvent) Merge.kif 4121-4121 eventPartlyLocatedinvolvedInEventsubrelation では
(subrelation experiencer involvedInEvent) Merge.kif 2456-2456 experiencerinvolvedInEventsubrelation では
(subrelation moves involvedInEvent) Merge.kif 11110-11110 movesinvolvedInEventsubrelation では
(subrelation origin involvedInEvent) Merge.kif 2480-2480 origininvolvedInEventsubrelation では
(subrelation patient involvedInEvent) Merge.kif 2493-2493 patientinvolvedInEventsubrelation では
(termFormat ChineseLanguage involvedInEvent "参与活动") domainEnglishFormat.kif 30912-30912 patientinvolvedInEventsubrelation では
(termFormat ChineseTraditionalLanguage involvedInEvent "參與活動") domainEnglishFormat.kif 30911-30911 patientinvolvedInEventsubrelation では
(termFormat EnglishLanguage involvedInEvent "involved in event") domainEnglishFormat.kif 30910-30910 patientinvolvedInEventsubrelation では

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


(<=>
    (subrelation ?PRED involvedInEvent)
    (instance ?PRED CaseRole))
Media.kif 119-121 関係involvedInEventsubrelation では 関係格役割instance では
(=>
    (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 3518-3530
(=>
    (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 11103-11124
(=>
    (and
        (instance ?LGP LargeGroupProcess)
        (instance ?G Collection)
        (member ?M ?G)
        (involvedInEvent ?LGP ?M)
        (memberCount ?G ?N))
    (greaterThan ?N 10))
Mid-level-ontology.kif 9107-9114
(=>
    (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 9116-9125

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 32143-32156 Alone エンティティーattribute では は 時間間隔during holds エンティティー2 工程 エンティティー エンティティー2 と equal では エンティティー2 は AutonomousAgentinstance では 工程社会的交流instance では 工程time の existence は 時間間隔during に takes 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 9116-9125
(=>
    (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 6089-6109
(=>
    (equal ?DEP
        (DepartmentOfPreventingFn ?COMP ?PHYS))
    (not
        (desires ?COMP
            (exists (?P)
                (and
                    (instance ?P ?PHYS)
                    (involvedInEvent ?P ?COMP))))))
Mid-level-ontology.kif 19979-19986
(=>
    (hazardous ?A ?B)
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Damaging)
                (patient ?D ?B)
                (or
                    (involvedInEvent ?D ?A)
                    (causes ?A ?D)))) Possibility))
Geography.kif 6009-6018
(=>
    (holdsDuring ?T
        (attribute ?H PostTraumaticStressDisorder))
    (exists (?V)
        (and
            (instance ?V ViolentContest)
            (earlier
                (WhenFn ?V) ?T)
            (involvedInEvent ?V ?H))))
Mid-level-ontology.kif 11076-11084
(=>
    (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 3538-3562
(=>
    (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 13143-13152
(=>
    (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 6831-6841
(=>
    (instance ?R CaseRole)
    (subrelation ?R involvedInEvent))
Merge.kif 2423-2425
(=>
    (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 32127-32138


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