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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WhiteOakTree

Sigma KEE - WhiteOakTree
WhiteOakTree(white oak tree)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6538-6539
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8623-8623
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9479-9479
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9480-9480
No TPTP formula. May not be expressible in strict first order. Geography.kif 6537-6537 White oak tree is internally related to white oak wood
No TPTP formula. May not be expressible in strict first order. Geography.kif 6536-6536 White oak tree is a subclass of deciduous tree

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65735-65735

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5398-5403


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