TreeView Knowledge Base Browser - BlackCherryTree

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

BlackCherryTree

Sigma KEE - BlackCherryTree

BlackCherryTree(black cherry tree)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6496-6497
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.	Geography.kif 6494-6494	Black cherry 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 64543-64543

consequent

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