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 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 |
|
consequent |
![]() |
![]() |
![]() |