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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hardwood

 Sigma KEE - Hardwood
Hardwood

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5280-5280 不相交的 Hardwood and Softwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5281-5282
No TPTP formula. May not be expressible in strict first order. Economy.kif 5279-5279 劃分 Hardwood and Softwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5278-5278 子類 Hardwood and WoodProduct

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5293-5293 子類 BalsaWood and Hardwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5303-5303 子類 BeechWood and Hardwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5313-5313 子類 BirchWood and Hardwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5323-5323 子類 CherryWood and Hardwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5335-5335 子類 MapleWood and Hardwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5345-5345 子類 OkoumeWood and Hardwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5355-5355 子類 PoplarWood and Hardwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5365-5365 子類 RedOakWood and Hardwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5375-5375 子類 SapeleWood and Hardwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5385-5385 子類 WalnutWood and Hardwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5395-5395 子類 WhiteOakWood and Hardwood
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64967-64967

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5284-5291


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