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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - hinders
hinders

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2151-2153
No TPTP formula. May not be expressible in strict first order. Merge.kif 4198-4200
No TPTP formula. May not be expressible in strict first order. Merge.kif 4194-4194 The number 1 argument of hinders is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4195-4195 The number 2 argument of hinders is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4191-4191 hinders is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4192-4192 hinders is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4193-4193 hinders is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4196-4196 hinders is internally related to hindersSubclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3631-3631
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3630-3630
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3629-3629
No TPTP formula. May not be expressible in strict first order. Merge.kif 4173-4173 prevents is internally related to hinders

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4202-4212

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3606-3630
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16135-16156


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners