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


(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 4218-4220
(domain prevents 1 Process) Merge.kif 4213-4213
(domainSubclass prevents 2 Process) Merge.kif 4214-4214
(instance prevents BinaryPredicate) Merge.kif 4210-4210
(instance prevents IrreflexiveRelation) Merge.kif 4211-4211
(instance prevents PartialValuedRelation) Merge.kif 4212-4212
(relatedInternalConcept prevents hinders) Merge.kif 4216-4216
(relatedInternalConcept prevents preventsSubclass) Merge.kif 4215-4215

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 225-225
(termFormat ChineseLanguage prevents "防止") domainEnglishFormat.kif 47270-47270
(termFormat ChineseLanguage prevents "阻止") chinese_format.kif 222-222
(termFormat ChineseTraditionalLanguage prevents "防止") domainEnglishFormat.kif 47269-47269
(termFormat EnglishLanguage prevents "prevents") domainEnglishFormat.kif 47268-47268

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

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 19605-19624
(=>
    (and
        (instance ?CO CounterOperation)
        (agent ?CO ?AGENT))
    (exists (?ENEMY ?OP)
        (and
            (enemy ?AGENT ?ENEMY)
            (agent ?OP ?ENEMY)
            (hasPurpose ?CO
                (prevents ?CO ?OP)))))
MilitaryProcesses.kif 2156-2165
(=>
    (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 2174-2184
(=>
    (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 2013-2023
(=>
    (and
        (instance ?CO CounterproliferationWMD)
        (agent ?CO ?AGENT))
    (exists (?ENEMY ?OP)
        (and
            (enemy ?AGENT ?ENEMY)
            (agent ?OP ?ENEMY)
            (instance ?OP ProliferationWMD)
            (hasPurpose ?CO
                (prevents ?CO ?OP)))))
MilitaryProcesses.kif 1459-1469
(=>
    (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 3423-3453
(=>
    (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 3460-3486
(=>
    (instance ?PKU PeacekeepingUnit)
    (capability
        (KappaFn ?P
            (and
                (instance ?P Process)
                (instance ?V ViolentContest)
                (prevents ?P ?V))) agent ?PKU))
Military.kif 89-96
(=>
    (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 1873-1893
(=>
    (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 3364-3393
(=>
    (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 16113-16134
(=>
    (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 3507-3529
(=>
    (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 3330-3348
(=>
    (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 3650-3679


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