TreeView Knowledge Base Browser - CoffeePlant

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CoffeePlant

CoffeePlant(coffee plant)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4599-4608
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4598-4598	Coffee plant is a subclass of shrub

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4609-4609	Coffee plant has name "coffea plant"
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4611-4611	Coffea arabica is a subclass of coffee plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4617-4617	Coffea robusta is a subclass of coffee plant
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64659-64659

consequent

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

Economy.kif 4629-4634

If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of coffee bean and another kind of object is a subclass of seed,
then every the other kind of object is initially part of a coffee plant

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