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 4372-4374 | |
(documentation prevents JapaneseLanguage "非常に一般的な Predicate。(prevents ?PROC1 ?PROC2) とは、?PROC1のインスタンスが ?PROC2 の発生を防ぐことを意味する。 注:この関係と preventsSubclass の違いは、インスタンスクラスではなくクラスに関連している。") | japanese_format.kif 804-806 | |
(domain prevents 1 Process) | Merge.kif 4367-4367 | O argumento numero 1 de prevents e' uma instancia de Processo |
(domainSubclass prevents 2 Process) | Merge.kif 4368-4368 | O argumento numero 2 de prevents e' uma sub-classe de Processo |
(instance prevents BinaryPredicate) | Merge.kif 4364-4364 | prevents e' uma instancia de Predicado Binario |
(instance prevents IrreflexiveRelation) | Merge.kif 4365-4365 | prevents e' uma instancia de Relacao Irreflexiva |
(instance prevents PartialValuedRelation) | Merge.kif 4366-4366 | prevents e' uma instancia de Relacao Parcial |
(relatedInternalConcept prevents hinders) | Merge.kif 4370-4370 | prevents e' relacionado internamente por SUMO a hinders |
(relatedInternalConcept prevents preventsSubclass) | Merge.kif 4369-4369 | prevents e' relacionado internamente por SUMO a 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 | |
(format FrenchLanguage prevents "%1 %n{ne} previent %n{pas} l'occurrence de %2") | french_format.kif 130-130 | |
(format ItalianLanguage prevents "%1 impedisce l'occorrenza di %2") | relations-it.txt 229-229 | |
(format JapaneseLanguage prevents "%1 は %2 の出来事を prevent%p{s} %n{ない}") | japanese_format.kif 1959-1959 | |
(format PortugueseLanguage prevents "%1 %n{nao} proibe %n a ocurrencia de %2") | portuguese_format.kif 82-82 | |
(format de prevents "%1 verhindert das Auftreten von %2") | relations-de.txt 287-287 | |
(format hi prevents "%1 %2 ko ghaTita hone se rokataa hai") | relations-hindi.txt 267-267 | |
(format ro prevents "%1 %n{nu} prevent%t{împiedicã} apariþia lui %2") | relations-ro.kif 149-149 | |
(format sv prevents "%1 förhindrar %n{inte} förekomsten av %2") | relations-sv.txt 135-135 | |
(format tg prevents "%1 nagpipigil %2") | relations-tg.txt 421-421 | |
(termFormat ChineseLanguage prevents "防止") | domainEnglishFormat.kif 47276-47276 | |
(termFormat ChineseLanguage prevents "阻止") | chinese_format.kif 222-222 | |
(termFormat ChineseTraditionalLanguage prevents "防止") | domainEnglishFormat.kif 47275-47275 | |
(termFormat EnglishLanguage prevents "prevents") | domainEnglishFormat.kif 47274-47274 | |
(termFormat de prevents "verhindert") | terms-de.txt 92-92 |
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 4376-4386 |
|
consequent |