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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2143-2147
No TPTP formula. May not be expressible in strict first order. Merge.kif 4341-4346
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 799-803
No TPTP formula. May not be expressible in strict first order. Merge.kif 4337-4337 The number 1 argument of prevents subclass is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4338-4338 The number 2 argument of prevents subclass is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4334-4334 prevents subclass is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4335-4335 prevents subclass is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4336-4336 prevents subclass is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4339-4339 prevents subclass is internally related to hinders subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4206-4206
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4205-4205
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4204-4204
No TPTP formula. May not be expressible in strict first order. Merge.kif 4369-4369 prevents is internally related to prevents subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65914-65914

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4348-4362


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