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 4190-4195
(domainSubclass preventsSubclass 1 Process) Merge.kif 4186-4186
(domainSubclass preventsSubclass 2 Process) Merge.kif 4187-4187
(instance preventsSubclass BinaryPredicate) Merge.kif 4183-4183
(instance preventsSubclass IrreflexiveRelation) Merge.kif 4184-4184
(instance preventsSubclass PartialValuedRelation) Merge.kif 4185-4185
(relatedInternalConcept preventsSubclass hindersSubclass) Merge.kif 4188-4188

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


(format ChineseLanguage preventsSubclass "%1 的例子 prevent %2 的例子") domainEnglishFormat.kif 4211-4211
(format ChineseTraditionalLanguage preventsSubclass "%1 的例子 prevent %2 的例子") domainEnglishFormat.kif 4210-4210
(format EnglishLanguage preventsSubclass "instances of %1 prevent instances of %2") domainEnglishFormat.kif 4209-4209
(relatedInternalConcept prevents preventsSubclass) Merge.kif 4218-4218

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


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