| appearance as argument number 1 |
|
| (documentation preventsSubclass ChineseLanguage "这是一个十分概括的 Predicate， (preventsSubclass ?PROC1 ?PROC2) 的意思是 ?PROC1 类 preventsSubclass ?PROC2 类发生。换句话说， 如果 ?PROC1 在某个特定的时空发生的话， ?PROC2 就不可能在相同的时空发生。例如：注射疫苗 preventsSubclass 感染疾病。注：这是 Process 类别之间的关系，而不是 Process 的实例之间 的关系。") | chinese_format.kif 2143-2147 | |
| (documentation preventsSubclass EnglishLanguage "A very general Predicate. (preventsSubclass ?PROC1 ?PROC2) means that ?PROC1 preventsSubclass the occurrence of ?PROC2. In other words, if ?PROC1 is occurring in a particular time and place, ?PROC2 cannot occur at the same time and place. For example, innoculating preventsSubclass contracting disease. Note that this is a relation between types of Processes, not between instances.") | Merge.kif 4337-4342 | |
| (documentation preventsSubclass JapaneseLanguage "非常に一般的な Predicate。 (preventsSubclass ?PROC1 ?PROC2) とは、?PROC1が?PROC2の発生をサブクラスに防止することを意味 する。つまり、?PROC1が特定の時間と場所で発生している場合、?PROC2は同時に発生することはできない。 例：サブクラスを罹患から防ぐための接種をする。 注：これは、インスタンス間ではなく、Process タ イプ間の関係である。") | japanese_format.kif 799-803 | |
| (domainSubclass preventsSubclass 1 Process) | Merge.kif 4333-4333 | The number 1 argument of prevents subclass is a subclass of process |
| (domainSubclass preventsSubclass 2 Process) | Merge.kif 4334-4334 | The number 2 argument of prevents subclass is a subclass of process |
| (instance preventsSubclass BinaryPredicate) | Merge.kif 4330-4330 | prevents subclass is an instance of binary predicate |
| (instance preventsSubclass IrreflexiveRelation) | Merge.kif 4331-4331 | prevents subclass is an instance of irreflexive relation |
| (instance preventsSubclass PartialValuedRelation) | Merge.kif 4332-4332 | prevents subclass is an instance of partial valued relation |
| (relatedInternalConcept preventsSubclass hindersSubclass) | Merge.kif 4335-4335 | prevents subclass is internally related to hinders subclass |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage preventsSubclass "%1 的例子 prevent %2 的例子") | domainEnglishFormat.kif 4210-4210 | |
| (format ChineseTraditionalLanguage preventsSubclass "%1 的例子 prevent %2 的例子") | domainEnglishFormat.kif 4209-4209 | |
| (format EnglishLanguage preventsSubclass "instances of %1 prevent instances of %2") | domainEnglishFormat.kif 4208-4208 | |
| (relatedInternalConcept prevents preventsSubclass) | Merge.kif 4364-4364 | prevents is internally related to prevents subclass |
| (termFormat EnglishLanguage preventsSubclass "prevents subclass") | domainEnglishFormat.kif 65963-65963 | prevents is internally related to prevents subclass |
| antecedent |
|
|
| (=> (preventsSubclass ?PROC1 ?PROC2) (forall (?TIME ?PLACE) (=> (holdsDuring ?TIME (exists (?INST1) (and (instance ?INST1 ?PROC1) (eventLocated ?INST1 ?PLACE)))) (not (holdsDuring ?TIME (exists (?INST2) (and (instance ?INST2 ?PROC2) (eventLocated ?INST2 ?PLACE)))))))) |
Merge.kif 4344-4358 |
|
|
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