TreeView Knowledge Base Browser - CherryWood

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CherryWood

CherryWood(cherry wood)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5324-5324
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5323-5323	Cherry wood is a subclass of hardwood

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6495-6495	Black cherry tree is internally related to cherry wood
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64620-64620

antecedent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 5326-5333

If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of cherry wood and another kind of object is a subclass of plant stem,
then every the other kind of object is initially part of a black cherry tree or every the other kind of object is initially part of a sweet cherry tree

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