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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1863-1864
No TPTP formula. May not be expressible in strict first order. Merge.kif 2349-2350
No TPTP formula. May not be expressible in strict first order. Merge.kif 2354-2354 The number 1 argument of involved in event is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2355-2355 The number 2 argument of involved in event is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2353-2353 involved in event is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2352-2352 involved in event is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1389-1389
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1388-1388
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1387-1387
No TPTP formula. May not be expressible in strict first order. Merge.kif 2375-2375 agent is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order. Merge.kif 2386-2386 destination is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order. Merge.kif 16659-16659 direction is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order. Merge.kif 4027-4027 event partly located is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order. Merge.kif 2400-2400 experiencer is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order. Merge.kif 10857-10857 moves is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order. Merge.kif 2424-2424 origin is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order. Merge.kif 2437-2437 patient is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30888-30888
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30887-30887
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30886-30886

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


No TPTP formula. May not be expressible in strict first order. 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 9342-9363
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7609-7616
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7618-7627

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29601-29614 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 17758-17767
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7618-7627
No TPTP formula. May not be expressible in strict first order. Economy.kif 4790-4810
No TPTP formula. May not be expressible in strict first order. Geography.kif 5773-5782
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9315-9323
No TPTP formula. May not be expressible in strict first order. Merge.kif 12762-12771
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5576-5586
No TPTP formula. May not be expressible in strict first order. Merge.kif 2367-2369
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29585-29596


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