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
-------------------------


s__documentation(s__involvedInEvent__m,s__ChineseLanguage,'"(involvedInEvent ?EVENT ?THING) 的意思是 在 ?EVENT这个 Process,?THING 这个 Entity 佔着一点 CaseRole。"')

chinese_format.kif 1863-1864
s__documentation(s__involvedInEvent__m,s__EnglishLanguage,'"(involvedInEvent ?EVENT ?THING) means that in the Process ?EVENT, the Entity ?THING plays some CaseRole."')

Merge.kif 2317-2318
s__domain(s__involvedInEvent__m,n__1,s__Process)

Merge.kif 2322-2322 The number 1 argument of involved in event is an instance of process
s__domain(s__involvedInEvent__m,n__2,s__Entity)

Merge.kif 2323-2323 The number 2 argument of involved in event is an instance of entity
s__instance(s__involvedInEvent__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 2321-2321 involved in event is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__involvedInEvent__m,s__BinaryPredicate)

Merge.kif 2320-2320 involved in event is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__involvedInEvent__m,'"%2 %n 是事件 %1 的 involved "')

domainEnglishFormat.kif 1389-1389
s__format(s__ChineseTraditionalLanguage,s__involvedInEvent__m,'"%2 %n 是事件 %1 的 involved "')

domainEnglishFormat.kif 1388-1388
s__format(s__EnglishLanguage,s__involvedInEvent__m,'"%2 is %n an involved in event of %1"')

domainEnglishFormat.kif 1387-1387
s__subrelation(s__agent__m,s__involvedInEvent__m)

Merge.kif 2343-2343 agent is a subrelation of involved in event
s__subrelation(s__destination__m,s__involvedInEvent__m)

Merge.kif 2354-2354 destination is a subrelation of involved in event
s__subrelation(s__direction__m,s__involvedInEvent__m)

Merge.kif 16153-16153 direction is a subrelation of involved in event
s__subrelation(s__eventPartlyLocated__m,s__involvedInEvent__m)

Merge.kif 3980-3980 event partly located is a subrelation of involved in event
s__subrelation(s__experiencer__m,s__involvedInEvent__m)

Merge.kif 2368-2368 experiencer is a subrelation of involved in event
s__subrelation(s__moves__m,s__involvedInEvent__m)

Merge.kif 10510-10510 moves is a subrelation of involved in event
s__subrelation(s__origin__m,s__involvedInEvent__m)

Merge.kif 2392-2392 origin is a subrelation of involved in event
s__subrelation(s__patient__m,s__involvedInEvent__m)

Merge.kif 2405-2405 patient is a subrelation of involved in event
s__termFormat(s__ChineseLanguage,s__involvedInEvent__m,'"参与活动"')

domainEnglishFormat.kif 30888-30888
s__termFormat(s__ChineseTraditionalLanguage,s__involvedInEvent__m,'"參與活動"')

domainEnglishFormat.kif 30887-30887
s__termFormat(s__EnglishLanguage,s__involvedInEvent__m,'"involved in event"')

domainEnglishFormat.kif 30886-30886

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


( ! [V__PRED] :
   ((s__instance(V__PRED,s__Relation) =>
       (((s__subrelation(V__PRED,s__involvedInEvent__m) =>
             s__instance(V__PRED,s__CaseRole))
           &
           (s__instance(V__PRED,s__CaseRole) =>
             s__subrelation(V__PRED,s__involvedInEvent__m)))))
     )
   )

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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8823-8844
( ! [V__G,V__LGP,V__M,V__N] :
   (((s__instance(V__M,s__Physical) &
         s__instance(V__N,s__Integer))
       =>
       (((s__instance(V__LGP,s__LargeGroupProcess) &
             s__instance(V__G,s__Collection) &
             s__member(V__M,V__G)
           &
           s__involvedInEvent(V__LGP,V__M)
         &
         s__memberCount(V__G,V__N))
     =>
     (s__greaterThan(V__N,n__10)))))
)
)

Mid-level-ontology.kif 7297-7304
( ! [V__G,V__LGP,V__M] :
   ((s__instance(V__M,s__Physical) =>
       (((s__instance(V__LGP,s__LargeGroupProcess) &
             s__instance(V__G,s__Collection) &
             s__member(V__M,V__G)
           &
           s__involvedInEvent(V__LGP,V__M))
       =>
       (( ? [V__P, V__PC] :
           ((s__instance(V__P,s__Class) &
               s__instance(V__PC,s__Process) &
               (s__instance(V__PC,V__P)
               &
               s__involvedInEvent(V__PC,V__M)))))))))
)
)

Mid-level-ontology.kif 7306-7315

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28362-28375 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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16545-16554
( ! [V__G,V__LGP,V__M] :
   ((s__instance(V__M,s__Physical) =>
       (((s__instance(V__LGP,s__LargeGroupProcess) &
             s__instance(V__G,s__Collection) &
             s__member(V__M,V__G)
           &
           s__involvedInEvent(V__LGP,V__M))
       =>
       (( ? [V__P, V__PC] :
           ((s__instance(V__P,s__Class) &
               s__instance(V__PC,s__Process) &
               (s__instance(V__PC,V__P)
               &
               s__involvedInEvent(V__PC,V__M)))))))))
)
)

Mid-level-ontology.kif 7306-7315
No TPTP formula. May not be expressible in strict first order. Economy.kif 4632-4652
No TPTP formula. May not be expressible in strict first order. Geography.kif 5658-5667
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8796-8804
( ! [V__INTERACTION] :
   ((s__instance(V__INTERACTION,s__SocialInteraction) =>
       (( ? [V__AGENT1, V__AGENT2] :
           ((s__involvedInEvent(V__INTERACTION,V__AGENT1)
             &
             s__involvedInEvent(V__INTERACTION,V__AGENT2)
           &
           s__instance(V__AGENT1,s__Agent) &
           s__instance(V__AGENT2,s__Agent) &
           ~((V__AGENT1 = V__AGENT2)))))))
)
)

Merge.kif 12352-12361
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5536-5546
( ! [V__R] :
   ((s__instance(V__R,s__CaseRole) =>
       (s__subrelation(V__R,s__involvedInEvent__m)))
     )
   )

Merge.kif 2335-2337
( ! [V__P] :
   ((s__instance(V__P,s__Process) =>
       ((s__manner(V__P,s__Solely) =>
           ((( ? [V__H] :
                 ((s__involvedInEvent(V__P,V__H)
                   &
                   s__instance(V__H,s__Agent))))
             &
             ~(( ? [V__H2] :
                 ((s__involvedInEvent(V__P,V__H2)
                   &
                   s__instance(V__H2,s__Agent))))))))))
)
)

Mid-level-ontology.kif 28346-28357


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