Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - preventsSubclass
preventsSubclass

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 4341-4346
(documentation preventsSubclass JapaneseLanguage "非常に一般的な Predicate。 (preventsSubclass ?PROC1 ?PROC2) とは、?PROC1が?PROC2の発生をサブクラスに防止することを意味 する。つまり、?PROC1が特定の時間と場所で発生している場合、?PROC2は同時に発生することはできない。 例:サブクラスを罹患から防ぐための接種をする。 注:これは、インスタンス間ではなく、Process タ イプ間の関係である。") japanese_format.kif 799-803
(domainSubclass preventsSubclass 1 Process) Merge.kif 4337-4337
(domainSubclass preventsSubclass 2 Process) Merge.kif 4338-4338
(instance preventsSubclass BinaryPredicate) Merge.kif 4334-4334
(instance preventsSubclass IrreflexiveRelation) Merge.kif 4335-4335
(instance preventsSubclass PartialValuedRelation) Merge.kif 4336-4336
(relatedInternalConcept preventsSubclass hindersSubclass) Merge.kif 4339-4339

appearance as argument number 2
-------------------------


(format ChineseLanguage preventsSubclass "%1 的例子 prevent %2 的例子") domainEnglishFormat.kif 4206-4206
(format ChineseTraditionalLanguage preventsSubclass "%1 的例子 prevent %2 的例子") domainEnglishFormat.kif 4205-4205
(format EnglishLanguage preventsSubclass "instances of %1 prevent instances of %2") domainEnglishFormat.kif 4204-4204
(relatedInternalConcept prevents preventsSubclass) Merge.kif 4369-4369
(termFormat EnglishLanguage preventsSubclass "prevents subclass") domainEnglishFormat.kif 65914-65914

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


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