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

Formal Language: 



KB Term:  Term intersection
English Word: 

  involvedInEvent

 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 2396-2397
(documentation involvedInEvent JapaneseLanguage "(involvedInEvent ?EVENT ?THING) とは、 Process ?EVENTでは、、Entity ?THING は CaseRole の役をする、という意味である。") japanese_format.kif 486-487
(domain involvedInEvent 1 Process) Merge.kif 2401-2401 Le nombre 1 argument de involvedInEvent est une instance de processus
(domain involvedInEvent 2 Entity) Merge.kif 2402-2402 Le nombre 2 argument de involvedInEvent est une instance de entit�
(instance involvedInEvent AsymmetricRelation) Merge.kif 2400-2400 involvedInEvent est une instance de relation asym�trique
(instance involvedInEvent BinaryPredicate) Merge.kif 2399-2399 involvedInEvent est une instance de pr�dicat binaire

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 2422-2422 agent est une sous-relation de involvedInEvent
(subrelation destination involvedInEvent) Merge.kif 2433-2433 destination est une sous-relation de involvedInEvent
(subrelation direction involvedInEvent) Merge.kif 16825-16825 direction est une sous-relation de involvedInEvent
(subrelation eventPartlyLocated involvedInEvent) Merge.kif 4104-4104 eventPartlyLocated est une sous-relation de involvedInEvent
(subrelation experiencer involvedInEvent) Merge.kif 2447-2447 experiencer est une sous-relation de involvedInEvent
(subrelation moves involvedInEvent) Merge.kif 10953-10953 moves est une sous-relation de involvedInEvent
(subrelation origin involvedInEvent) Merge.kif 2471-2471 origin est une sous-relation de involvedInEvent
(subrelation patient involvedInEvent) Merge.kif 2484-2484 patient est une sous-relation de involvedInEvent
(termFormat ChineseLanguage involvedInEvent "参与活动") domainEnglishFormat.kif 30910-30910
(termFormat ChineseTraditionalLanguage involvedInEvent "參與活動") domainEnglishFormat.kif 30909-30909
(termFormat EnglishLanguage involvedInEvent "involved in event") domainEnglishFormat.kif 30908-30908

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


(<=>
    (subrelation ?PRED involvedInEvent)
    (instance ?PRED CaseRole))		 Media.kif 119-121 Relation est une sous-relation de involvedInEvent relation est une instance de r�le d�pendant du cas
(=>
    (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 9726-9747
(=>
    (and
        (instance ?LGP LargeGroupProcess)
        (instance ?G Collection)
        (member ?M ?G)
        (involvedInEvent ?LGP ?M)
        (memberCount ?G ?N))
    (greaterThan ?N 10))		 Mid-level-ontology.kif 7907-7914
(=>
    (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 7916-7925

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 30328-30341 Alone est un attribut de entit� pendant interval temporel entit�2 processus entit� est entit�2 entit�2 est une instance de AutonomousAgent processus est une instance de interaction social temps d'existence de processus prend place pendant interval temporel involvedInEvent processus and entit� involvedInEvent processus and entit�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 7916-7925
(=>
    (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 5155-5175
(=>
    (equal ?DEP
        (DepartmentOfPreventingFn ?COMP ?PHYS))
    (not
        (desires ?COMP
            (exists (?P)
                (and
                    (instance ?P ?PHYS)
                    (involvedInEvent ?P ?COMP))))))		 Mid-level-ontology.kif 18241-18248
(=>
    (hazardous ?A ?B)
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Damaging)
                (patient ?D ?B)
                (or
                    (involvedInEvent ?D ?A)
                    (causes ?A ?D)))) Possibility))		 Geography.kif 5777-5786
(=>
    (holdsDuring ?T
        (attribute ?H PostTraumaticStressDisorder))
    (exists (?V)
        (and
            (instance ?V ViolentContest)
            (earlier
                (WhenFn ?V) ?T)
            (involvedInEvent ?V ?H))))		 Mid-level-ontology.kif 9699-9707
(=>
    (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 12895-12904
(=>
    (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 5861-5871
(=>
    (instance ?R CaseRole)
    (subrelation ?R involvedInEvent))		 Merge.kif 2414-2416
(=>
    (manner ?P Solely)
    (and
        (exists (?H)
            (and
                (involvedInEvent ?P ?H)
                (instance ?H AutonomousAgent)))
        (not
            (exists (?H2)
                (and
                    (involvedInEvent ?P ?H2)
                    (instance ?H2 AutonomousAgent))))))		 Mid-level-ontology.kif 30312-30323


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