prevents - Sigma Knowledge base Browser

appearance as argument number 1

(documentation prevents ChineseLanguage "这是一个十分概括的 Predicate， (prevents ?PROC1 ?PROC2)的意思是 ?PROC1 的一个实例阻止 ?PROC2 类的发生。注：这个关系和 preventsSubclass 的区别在于，后者是联系类别，而不是实例-类别。")	chinese_format.kif 2148-2150
(documentation prevents EnglishLanguage "A very general Predicate. (prevents ?PROC1 ?PROC2) means that an instance of ?PROC1 prevents the occurrence of ?PROC2. Note the difference between this relation and preventsSubclass, which is relating classes and not instance-class.")	Merge.kif 4282-4284
(domain prevents 1 Process)	Merge.kif 4277-4277	The number 1 argument of prevents is an instance of process
(domainSubclass prevents 2 Process)	Merge.kif 4278-4278	The number 2 argument of prevents is a subclass of process
(instance prevents BinaryPredicate)	Merge.kif 4274-4274	prevents is an instance of binary predicate
(instance prevents IrreflexiveRelation)	Merge.kif 4275-4275	prevents is an instance of irreflexive relation
(instance prevents PartialValuedRelation)	Merge.kif 4276-4276	prevents is an instance of partial valued relation
(relatedInternalConcept prevents hinders)	Merge.kif 4280-4280	prevents is internally related to hinders
(relatedInternalConcept prevents preventsSubclass)	Merge.kif 4279-4279	prevents is internally related to preventsSubclass

appearance as argument number 2

(format ChineseLanguage prevents "%1 %n{doesn't} prevents %2 的发生")	chinese_format.kif 221-221
(format EnglishLanguage prevents "%1 %n{doesn't} prevent%p{s} the occurrence of %2")	english_format.kif 222-222
(termFormat ChineseLanguage prevents "防止")	domainEnglishFormat.kif 47259-47259
(termFormat ChineseLanguage prevents "阻止")	chinese_format.kif 222-222
(termFormat ChineseTraditionalLanguage prevents "防止")	domainEnglishFormat.kif 47258-47258
(termFormat EnglishLanguage prevents "prevents")	domainEnglishFormat.kif 47257-47257

antecedent

(=>
    (and
        (prevents ?X ?P)
        (equal
            (WhenFn ?X) ?T)
        (eventLocated ?X ?L))
    (not
        (holdsDuring ?T
            (exists (?Y)
                (and
                    (instance ?Y ?P)
                    (eventLocated ?Y ?L))))))

Merge.kif 4286-4296

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

(=> (and (instance ?B Blockade) (instance ?C Contest) (subProcess ?B ?C) (contestParticipant ?C ?A1) (agent ?B ?A1)) (exists (?C1 ?A2) (and (prevents ?C1 Translocation) (instance ?B ?C1) (contestParticipant ?C ?A2) (not (equal ?A1 ?A2)) (desires ?A2 (exists (?I) (and (instance ?I ?C1) (agent ?I ?A1) (subProcess ?I ?C)))))))	Mid-level-ontology.kif 21234-21253	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
(=> (and (instance ?CO CounterOperation) (agent ?CO ?AGENT)) (exists (?ENEMY ?OP) (and (enemy ?AGENT ?ENEMY) (agent ?OP ?ENEMY) (hasPurpose ?CO (prevents ?CO ?OP)))))	MilitaryProcesses.kif 2175-2184	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 has the purpose the process prevents the occurrence of the other process
(=> (and (instance ?CO CounterReconnaissance) (agent ?CO ?AGENT)) (exists (?ENEMY ?OP) (and (enemy ?AGENT ?ENEMY) (agent ?OP ?ENEMY) (instance ?OP ReconnaissanceOperation) (hasPurpose ?CO (prevents ?CO ?OP)))))	MilitaryProcesses.kif 2193-2203	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 has the purpose the process prevents the occurrence of the other process
(=> (and (instance ?CO CounterTerrorism) (agent ?CO ?AGENT)) (exists (?ENEMY ?OP) (and (enemy ?AGENT ?ENEMY) (agent ?OP ?ENEMY) (instance ?OP Terrorism) (hasPurpose ?CO (prevents ?CO ?OP)))))	MilitaryProcesses.kif 2032-2042	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 has the purpose the process prevents the occurrence of the other process
(=> (and (instance ?CO CounterproliferationWMD) (agent ?CO ?AGENT)) (exists (?ENEMY ?OP) (and (enemy ?AGENT ?ENEMY) (agent ?OP ?ENEMY) (instance ?OP ProliferationWMD) (hasPurpose ?CO (prevents ?CO ProliferationWMD)))))	MilitaryProcesses.kif 1478-1488	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 has the purpose the process prevents the occurrence of proliferationWMD
(=> (holdsDuring ?T (attribute ?X SafetyPosition)) (holdsDuring ?T (hasPurpose ?X (exists (?P ?H) (and (instance ?H Human) (instance ?P Process) (patient ?P ?H) (agent ?P ?X) (prevents ?P (KappaFn ?I (and (instance ?I Injuring) (=> (holdsDuring ?T2 (experiencer ?I ?H)) (not (holdsDuring ?T2 (patient ?P ?H))))))))))))	Mid-level-ontology.kif 30085-30105	If safety position is an attribute of an entity holds during a time position, then the entity has the purpose there exist another entity and a third entity such that the third entity is an instance of human and the other entity is an instance of process and the third entity is a patient of the other entity and the entity is an agent of the other entity and the other entity prevents the occurrence of the class described by a fourth entity holds during the time position
(=> (instance ?HP HearingProtection) (hasPurpose ?HP (=> (and (instance ?PERSON Human) (wears ?PERSON ?HP)) (exists (?PROC ?INJ) (and (instance ?PROC Process) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?SOUND ?HEAR ?HUMAN) (and (instance ?SOUND RadiatingSound) (instance ?HEAR Hearing) (instance ?HUMAN Human) (patient ?HEAR ?SOUND) (experiencer ?HEAR ?HUMAN) (causes ?HEAR ?I) (experiencer ?I ?HUMAN))) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))) (prevents ?PROC ?INJ) (instrument ?PROC ?HP))))))	Cars.kif 3448-3478	If a physical is an instance of hearing protection, then the physical has the purpose if an entity is an instance of human and the entity wears the physical, 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
(=> (instance ?PE ProtectiveEyewear) (hasPurpose ?PE (=> (and (instance ?PERSON Human) (wears ?PERSON ?PE)) (exists (?PROTECT ?EYE ?INJ) (and (instance ?PROTECT Process) (instrument ?PROTECT ?PE) (subclass ?INJ (KappaFn ?I (exists (?HUMAN) (and (instance ?I Injuring) (instance ?EYE Eye) (instance ?HUMAN Human) (properPart ?EYE ?HUMAN) (patient ?I ?EYE) (=> (holdsDuring ?T (patient ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROTECT ?PERSON)))))))) (prevents ?PROTECT ?INJ))))))	Cars.kif 3485-3511	If a physical is an instance of protective eyewear, then the physical has the purpose if the physicalRSON is an instance of human and the physicalRSON wears the physical, 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
(=> (instance ?PKU PeacekeepingUnit) (capability (KappaFn ?P (and (instance ?P Process) (instance ?V ViolentContest) (prevents ?P ?V))) agent ?PKU))	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
(=> (instance ?S Shield) (hasPurpose ?S (exists (?P ?H) (and (instance ?P Protecting) (instrument ?P ?S) (instance ?H Human) (patient ?P ?H) (prevents ?P (KappaFn ?I (and (instance ?I Injuring) (exists (?W) (and (instance ?W Weapon) (instrument ?I ?W))) (=> (patient ?I ?H) (not (patient ?P ?H))))))))))	Mid-level-ontology.kif 1427-1447	If a physical is an instance of shield, then the physical has the 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
(=> (instance ?SH SafetyHarness) (hasPurpose ?SH (=> (and (instance ?PERSON Animal) (wears ?PERSON ?SH)) (exists (?PROC ?INJ) (and (instance ?PROC Process) (instrument ?PROC ?SH) (patient ?PROC ?PERSON) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?F ?H) (and (instance ?H Human) (experiencer ?I ?H) (instance ?F Falling) (experiencer ?F ?H) (causes ?F ?I))) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))) (prevents ?PROC ?INJ))))))	Cars.kif 3389-3418	If a physical is an instance of safety harness, then the physical has the purpose if an entity is an instance of animal and the entity wears the physical, 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
(=> (instance ?X Protecting) (hasPurpose ?X (exists (?OBJ) (and (instance ?OBJ Object) (patient ?X Object) (subclass ?HARM (KappaFn ?H (and (or (instance ?H CriminalAction) (instance ?H Damaging)) (=> (holdsDuring ?T (patient ?H ?OBJ)) (not (holdsDuring ?T (patient ?X ?OBJ))))))) (or (prevents ?X ?HARM) (hinders ?X ?HARM))))))	Mid-level-ontology.kif 17773-17794	If a physical is an instance of Protecting, then the physical has the 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
(=> (instance ?X Respirator) (hasPurpose ?X (=> (and (instance ?PERSON Animal) (wears ?PERSON ?X)) (exists (?INHAL ?INJ ?PROTECT) (and (instance ?PROTECT Process) (instrument ?PROTECT ?X) (prevents ?PROTECT ?INJ) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?H) (and (instance ?H Human) (patient ?I ?H) (instance ?INHAL Inhaling) (agent ?INHAL ?H) (causes ?I ?INHAL)))))))))))	Cars.kif 3533-3555	If a physical is an instance of respirator, then the physical has the purpose if an entity is an instance of animal and the entity wears the physical, 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
(=> (instance ?X SafetyDevice) (hasPurpose ?X (exists (?P ?H) (and (instance ?H Human) (instance ?P Process) (patient ?P ?H) (instrument ?P ?X) (prevents ?P (KappaFn ?I (and (instance ?I Injuring) (=> (holdsDuring ?T (experiencer ?I ?H)) (not (holdsDuring ?T (patient ?P ?H)))))))))))	Cars.kif 3355-3373	If a physical is an instance of safety device, then the physical has the 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
(=> (instance ?X SeatBelt) (hasPurpose ?X (exists (?PERSON ?STOP ?VEHICLE) (and (instance ?VEHICLE Vehicle) (part ?X ?VEHICLE) (instance ?PERSON Human) (contains ?VEHICLE ?PERSON) (instance ?STOP Process) (prevents ?STOP (KappaFn ?M (and (instance ?M Translocation) (patient ?M ?PERSON) (exists (?COLLISION) (and (or (instance ?COLLISION Decelerating) (instance ?COLLISION Impacting)) (experiencer ?COLLISION ?VEHICLE) (causes ?COLLISION ?M))) (modalAttribute (exists (?INJ ?IMP) (and (instance ?INJ Injuring) (instance ?IMP Impacting) (causes ?M ?INJ) (patient ?INJ ?PERSON) (subProcess ?IMP ?INJ))) Possibility))))))))	Cars.kif 3679-3708	If a physical is an instance of seat belt, then the physical has the 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 contains the entity 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

KB Term:			Term intersection

English Word: