TreeView Knowledge Base Browser - involvedInEvent

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 2409-2410
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 486-487
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2414-2414	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 2415-2415	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 2413-2413	involved in event is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2412-2412	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 2435-2435	agent is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2446-2446	destination is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17011-17011	direction is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4118-4118	event partly located is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2460-2460	experiencer is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11021-11021	moves is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2484-2484	origin is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2497-2497	patient is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30901-30901
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30900-30900
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30899-30899

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.	Medicine.kif 3517-3529	If a process is an instance of epidemic and an agent is an involved in event of the process, then an attribute is an instance of disease or syndrome and the attribute is an attribute of the agent or there exists another process such that the other process is an instance of pathologic process and the agent experiences the other process and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9801-9822	If a transfer is an instance of ingesting and an agent experiences the transfer and the object transferred in the transfer is an object and the object is an instance of mood stabilizer and a process is an instance of the processC and the agent is an involved in event of the process and the processS is an attribute of the agent holds during the time of existence of the process and the processS is an instance of emotional state and the process2 is an instance of the processC and the agent is an involved in event of the process2 and the time of existence of the process2 happens earlier than the time of existence of the transfer, then the statement the processS is an attribute of the agent doesn't hold during the process2 has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7967-7974	If a process is an instance of large group process and a collection is an instance of collection and a physical is a member of the collection and the physical is an involved in event of the process and an integer is a member count of the collection, then the integer is greater than 10
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7976-7985	If a process is an instance of large group process and a collection is an instance of collection and a physical is a member of the collection and the physical is an involved in event of the process, then there exist a class and the classC such that the classC is an instance of the class and the physical is an involved in event of the classC

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30247-30260	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 7976-7985	If a process is an instance of large group process and a collection is an instance of collection and a physical is a member of the collection and the physical is an involved in event of the process, then there exist a class and the classC such that the classC is an instance of the class and the physical is an involved in event of the classC
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5747-5767	If mean of production is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of making and the object is an involved in event of the entity and the object is not a result of the entity and the other entity is an instance of artifact and the other entity is a result of the entity and the other entity has the purpose there exists a third entity such that the third entity is an instance of selling and the other entity is a patient of the third entity or there exists a fourth entity such that the fourth entity is an instance of commercial service and the object is an involved in event of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18435-18442	If an organization is equal to another organization is preventing a kind of physical, then the other organization doesn't desire there exists an entity such that the entity is an instance of a kind of physical and the other organization is an involved in event of the entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5876-5885	If a physical is hazardous to an object, then the statement there exists an entity such that the entity is an instance of damaging and the object is a patient of the entity and the physical is an involved in event of the entity or the physical causes the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9774-9782	If PTSD is an attribute of an entity holds during a time interval, then there exists a process such that the process is an instance of violent contest and the time of existence of the process happens earlier than the time interval and the entity is an involved in event of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3537-3561	If a process is an instance of pandemic, then there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an involved in event of the process and the other entity is an involved in event of the process and the entity is not equal to the other entity and the third entity is an instance of nation and the fourth entity is an instance of nation and the third entity is not equal to the fourth entity and the fifth entity is an instance of continent and the sixth entity is an instance of continent and the fifth entity is not equal to the sixth entity and the entity is located at the fifth entity and the other entity is located at the sixth entity or the entity is located at the third entity and the other entity is located at the fourth entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13050-13059	If a process is an instance of social interaction, then there exist an entity and another entity such that the entity is an involved in event of the process and the other entity is an involved in event of the process and the entity is an instance of agent and the other entity is an instance of agent and the entity is not equal to the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5888-5898	If an entity is an instance of parasite, then the statement there exist another entity and the entityROC such that the entity is located at the other entity and the entity is an involved in event of the entityROC and the other entity is an involved in event of the entityROC and the entity is a beneficiary of the entityROC and the other entity suffers from the entityROC has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2427-2429	If a relation is an instance of case role, then the relation is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30231-30242	If a process is performed in the manner Solely, then there exists an entity such that the entity is an involved in event of the process and the entity is an instance of agent and there doesn't exist the entity2 such that the entity2 is an involved in event of the process and the entity2 is an instance of agent and the entity is not equal to the entity2

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