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

Formal Language: 



KB Term:  Term intersection
English Word: 

  preventsSubclass

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
(domainSubclass preventsSubclass 2 Process) Merge.kif 4221-4221
(instance preventsSubclass BinaryPredicate) Merge.kif 4217-4217
(instance preventsSubclass IrreflexiveRelation) Merge.kif 4218-4218
(instance preventsSubclass PartialValuedRelation) Merge.kif 4219-4219
(relatedInternalConcept preventsSubclass hindersSubclass) Merge.kif 4222-4222

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

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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