involvedInEvent - Sigma Knowledge base Browser

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

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 2420-2421
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 2425-2425	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 2426-2426	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 2424-2424	involved in event is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2423-2423	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 2446-2446	agent is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2457-2457	destination is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17115-17115	direction is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4136-4136	event partly located is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2471-2471	experiencer is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11125-11125	moves is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2495-2495	origin is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2508-2508	patient is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30912-30912	patient is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30911-30911	patient is a subrelation of involved in event
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30910-30910	patient is a subrelation of involved in event

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 3518-3530	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 11103-11124	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 9107-9114	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 9116-9125	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 32141-32154	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 equal the entity and 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 9116-9125	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 6089-6109	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 19979-19986	If equal an organization and 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 6179-6188	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 11076-11084	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 3538-3562	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 equal the entity and the other entity and the third entity is an instance of nation and the fourth entity is an instance of nation and equal the third entity and the fourth entity and the fifth entity is an instance of continent and the sixth entity is an instance of continent and equal the fifth entity and 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 13158-13167	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 equal the entity and the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6831-6841	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 2438-2440	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 32125-32136	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 equal the entity and the entity2

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