TreeView Knowledge Base Browser - FrenchPressingCoffee

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

FrenchPressingCoffee

Sigma KEE - FrenchPressingCoffee

FrenchPressingCoffee(French press coffee)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 860-860	Coarse grind is the optimal CoffeeGrindAttribute for French press coffee coffee making process
No TPTP formula. May not be expressible in strict first order.	Food.kif 853-853	French press coffee is a subclass of coffee making

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 854-858
No TPTP formula. May not be expressible in strict first order.	Food.kif 859-859

antecedent

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

Food.kif 862-869

If an object is an instance of French press coffee,
then there exists a process such that the process is an instance of potable water and the object is a resource for the process and the measure of the process is 90 celsius degree(s)

consequent

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

Food.kif 877-883

If a physical is an instance of French press,
then the physical has the purpose there exists an entity such that the entity is an instance of French press coffee and the physical is an instrument for the entity

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