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 est disjoint de 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 est compl�tement d�compos� en Softwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5278-5278 Hardwood est une sous-classe de WoodProduct

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5293-5293 BalsaWood est une sous-classe de Hardwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5303-5303 BeechWood est une sous-classe de Hardwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5313-5313 BirchWood est une sous-classe de Hardwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5323-5323 CherryWood est une sous-classe de Hardwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5335-5335 MapleWood est une sous-classe de Hardwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5345-5345 OkoumeWood est une sous-classe de Hardwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5355-5355 PoplarWood est une sous-classe de Hardwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5365-5365 RedOakWood est une sous-classe de Hardwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5375-5375 SapeleWood est une sous-classe de Hardwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5385-5385 WalnutWood est une sous-classe de Hardwood
No TPTP formula. May not be expressible in strict first order. Economy.kif 5395-5395 WhiteOakWood est une sous-classe de 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