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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 4251-4256
(domainSubclass preventsSubclass 1 Process) Merge.kif 4247-4247
(domainSubclass preventsSubclass 2 Process) Merge.kif 4248-4248
(instance preventsSubclass BinaryPredicate) Merge.kif 4244-4244
(instance preventsSubclass IrreflexiveRelation) Merge.kif 4245-4245
(instance preventsSubclass PartialValuedRelation) Merge.kif 4246-4246
(relatedInternalConcept preventsSubclass hindersSubclass) Merge.kif 4249-4249

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 4279-4279


    (preventsSubclass ?PROC1 ?PROC2)
    (forall (?TIME ?PLACE)
            (holdsDuring ?TIME
                (exists (?INST1)
                        (instance ?INST1 ?PROC1)
                        (eventLocated ?INST1 ?PLACE))))
                (holdsDuring ?TIME
                    (exists (?INST2)
                            (instance ?INST2 ?PROC2)
                            (eventLocated ?INST2 ?PLACE))))))))
Merge.kif 4258-4272

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