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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - prevents
prevents

appearance as argument number 1
-------------------------


s__documentation(s__prevents__m,s__ChineseLanguage,'"这是一个十分概括的 Predicate, (prevents ?PROC1 ?PROC2)的意思是 ?PROC1 的一个实例阻止 ?PROC2 类的发生。注:这个关系和 preventsSubclass 的区别在于,后者是联系类别,而不是实例-类别。"')

chinese_format.kif 2148-2150
s__documentation(s__prevents__m,s__EnglishLanguage,'"A very general Predicate. (prevents ?PROC1 ?PROC2) means that an instance of ?PROC1 prevents the occurrence of ?PROC2. Note the difference between this relation and preventsSubclass, which is relating classes and not instance-class."')

Merge.kif 4221-4223
s__domain(s__prevents__m,n__1,s__Process)

Merge.kif 4216-4216 The number 1 argument of prevents is an instance of process
s__domainSubclass(s__prevents__m,n__2,s__Process)

Merge.kif 4217-4217 The number 2 argument of prevents is a subclass of process
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__prevents__m,s__BinaryPredicate)

Merge.kif 4213-4213 prevents is an instance of binary predicate
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__prevents__m,s__IrreflexiveRelation)

Merge.kif 4214-4214 prevents is an instance of irreflexive relation
s__instance(s__prevents__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__SetOrClass)

Merge.kif 4215-4215 prevents is an instance of partial valued relation
s__relatedInternalConcept(s__prevents__m,s__hinders__m)

Merge.kif 4219-4219 prevents is internally related to hinders
s__relatedInternalConcept(s__prevents__m,s__preventsSubclass__m)

Merge.kif 4218-4218 prevents is internally related to preventsSubclass

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


s__format(s__ChineseLanguage,s__prevents__m,'"%1 %n{doesnt} prevents %2 的发生"')

chinese_format.kif 221-221
s__format(s__EnglishLanguage,s__prevents__m,'"%1 %n{doesnt} prevent%p{s} the occurrence of %2"')

english_format.kif 225-225
s__termFormat(s__ChineseLanguage,s__prevents__m,'"防止"')

domainEnglishFormat.kif 47258-47258
s__termFormat(s__ChineseLanguage,s__prevents__m,'"阻止"')

chinese_format.kif 222-222
s__termFormat(s__ChineseTraditionalLanguage,s__prevents__m,'"防止"')

domainEnglishFormat.kif 47257-47257
s__termFormat(s__EnglishLanguage,s__prevents__m,'"prevents"')

domainEnglishFormat.kif 47256-47256

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4225-4235

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20007-20026
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2156-2165
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2174-2184
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2013-2023
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1459-1469
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28846-28866
No TPTP formula. May not be expressible in strict first order. Cars.kif 3462-3492
No TPTP formula. May not be expressible in strict first order. Cars.kif 3499-3525
No TPTP formula. May not be expressible in strict first order. Military.kif 89-96
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1409-1429
No TPTP formula. May not be expressible in strict first order. Cars.kif 3403-3432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16560-16581
No TPTP formula. May not be expressible in strict first order. Cars.kif 3546-3568
No TPTP formula. May not be expressible in strict first order. Cars.kif 3369-3387
No TPTP formula. May not be expressible in strict first order. Cars.kif 3692-3721


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