Hardwood - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 e' disjunto 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	O conceito Hardwood e' completamente decomposto em Softwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5278-5278	Hardwood e' uma sub-classe de WoodProduct

appearance as argument number 2

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

Objeto e' igual a OrganicObjectFn Objeto Organico Objeto e' uma sub-classe de Hardwood Objeto Organico e' uma sub-classe de PlantStem
o argumento initialPart Objeto Organico and DeciduousTree tem a forca modal de Likely

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