prevents - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - prevents

prevents

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2148-2150
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4206-4208
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4201-4201	The number 1 argument of prevents is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4202-4202	The number 2 argument of prevents is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4198-4198	prevents is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4199-4199	prevents is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4200-4200	prevents is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4204-4204	prevents is internally related to hinders
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4203-4203	prevents is internally related to preventsSubclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 221-221
No TPTP formula. May not be expressible in strict first order.	english_format.kif 225-225
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47195-47195
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 222-222
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47194-47194
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47193-47193

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 4210-4220

If a process prevents the occurrence of another kind of process and the time of existence of the process is equal to a time interval and the process is located at 2,
then there exists an entity such that the entity is an instance of another kind of process and the entity is located at 2 doesn't hold during the time interval

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19599-19618	If a process is an instance of blockade and a contest is an instance of contest and the process is a subprocess of the contest and an agent participates in the contest and the agent is an agent of the process, then there exist the contest1 and a cognitive agent such that the contest1 prevents the occurrence of translocation and the process is an instance of the contest1 and the cognitive agent participates in the contest and the agent is not equal to the cognitive agent and the cognitive agent desires there exists an entity such that the entity is an instance of the contest1 and the agent is an agent of the entity and the entity is a subprocess of the contest
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2156-2165	If a process is an instance of counter operation and an agent is an agent of the process, then there exist another agent and another process such that the agent and the other agent are enemies of each other and the other agent is an agent of the other process and the process purpose the process prevents the occurrence of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2174-2184	If a process is an instance of counter reconnaissance and an agent is an agent of the process, then there exist another agent and another process such that the agent and the other agent are enemies of each other and the other agent is an agent of the other process and the other process is an instance of reconnaissance operation and the process purpose the process prevents the occurrence of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2013-2023	If a process is an instance of counter terrorism and an agent is an agent of the process, then there exist another agent and another process such that the agent and the other agent are enemies of each other and the other agent is an agent of the other process and the other process is an instance of terrorism and the process purpose the process prevents the occurrence of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1459-1469	If a process is an instance of counterproliferationWM d and an agent is an agent of the process, then there exist another agent and another process such that the agent and the other agent are enemies of each other and the other agent is an agent of the other process and the other process is an instance of proliferationWMD and the process purpose the process prevents the occurrence of the other process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3423-3453	If a physical is an instance of hearing protection, then the physical purpose if an entity is an instance of human and the entity は % を wears %n{ない}, then there exist another entity and a third entity such that the other entity is an instance of process and the third entity is a subclass of the class described by a fourth entity and the other entity prevents the occurrence of the third entity and the physical is an instrument for the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3460-3486	If a physical is an instance of protective eyewear, then the physical purpose if the physicalRSON is an instance of human and the physicalRSON は % を wears %n{ない}, then there exist another entity, a third entity and a fourth entity such that the other entity is an instance of process and the physical is an instrument for the other entity and the fourth entity is a subclass of the class described by a fifth entity and the other entity prevents the occurrence of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Military.kif 89-96	If an object is an instance of peacekeeping unit, then the object is capable of doing the class described by a symbolic string as a agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1873-1893	If a physical is an instance of shield, then the physical purpose there exist an entity and another entity such that the entity is an instance of Protecting and the physical is an instrument for the entity and the other entity is an instance of human and the other entity is a patient of the entity and the entity prevents the occurrence of the class described by a third entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3364-3393	If a physical is an instance of safety harness, then the physical purpose if an entity is an instance of animal and the entity は % を wears %n{ない}, then there exist another entity and a third entity such that the other entity is an instance of process and the physical is an instrument for the other entity and the entity is a patient of the other entity and the third entity is a subclass of the class described by a fourth entity and the other entity prevents the occurrence of the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16108-16129	If a physical is an instance of Protecting, then the physical purpose there exists an entity such that the entity is an instance of object and object is a patient of the physical and another entity is a subclass of the class described by a third entity and the physical prevents the occurrence of the other entity or the physical hinders the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3507-3529	If a physical is an instance of respirator, then the physical purpose if an entity is an instance of animal and the entity は % を wears %n{ない}, then there exist another entity, a third entity and a fourth entity such that the fourth entity is an instance of process and the physical is an instrument for the fourth entity and the fourth entity prevents the occurrence of the third entity and the third entity is a subclass of the class described by a fifth entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3330-3348	If a physical is an instance of safety device, then the physical purpose there exist an entity and another entity such that the other entity is an instance of human and the entity is an instance of process and the other entity is a patient of the entity and the physical is an instrument for the entity and the entity prevents the occurrence of the class described by a third entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3650-3679	If a physical is an instance of seat belt, then the physical purpose there exist an entity, another entity and a third entity such that the third entity is an instance of vehicle and the physical is a part of the third entity and the entity is an instance of human and the third entity は the entity を contains %n{ない} and the other entity is an instance of process and the other entity prevents the occurrence of the class described by a fourth entity

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