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 4224-4229
(domainSubclass preventsSubclass 1 Process) Merge.kif 4220-4220 The number 1 argument of preventsSubclass is a subclass of process
(domainSubclass preventsSubclass 2 Process) Merge.kif 4221-4221 The number 2 argument of preventsSubclass is a subclass of process
(instance preventsSubclass BinaryPredicate) Merge.kif 4217-4217 preventsSubclass is an instance of binary predicate
(instance preventsSubclass IrreflexiveRelation) Merge.kif 4218-4218 preventsSubclass is an instance of irreflexive relation
(instance preventsSubclass PartialValuedRelation) Merge.kif 4219-4219 preventsSubclass is an instance of partial valued relation
(relatedInternalConcept preventsSubclass hindersSubclass) Merge.kif 4222-4222 preventsSubclass is internally related to hindersSubclass

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 4252-4252 prevents is internally related to preventsSubclass

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 4231-4245


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