CoffeeMaking - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 652-654
No TPTP formula. May not be expressible in strict first order.	Food.kif 649-649	Coffee making is a subclass of cooking
No TPTP formula. May not be expressible in strict first order.	Food.kif 651-651	Coffee making is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	Food.kif 650-650	Coffee making is a subclass of soaking

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 901-901	Aeropress coffee is a subclass of coffee making
No TPTP formula. May not be expressible in strict first order.	Food.kif 836-836	Cold brew coffee is a subclass of coffee making
No TPTP formula. May not be expressible in strict first order.	Food.kif 885-885	Dripping coffee is a subclass of coffee making
No TPTP formula. May not be expressible in strict first order.	Food.kif 783-783	Espresso making is a subclass of coffee making
No TPTP formula. May not be expressible in strict first order.	Food.kif 853-853	French press coffee is a subclass of coffee making
No TPTP formula. May not be expressible in strict first order.	Food.kif 931-931	Moka pot coffee making is a subclass of coffee making
No TPTP formula. May not be expressible in strict first order.	Food.kif 923-923	Siphoning coffee is a subclass of coffee making
No TPTP formula. May not be expressible in strict first order.	Food.kif 955-955	TurkishCoffeeMaking is a subclass of coffee making
No TPTP formula. May not be expressible in strict first order.	Food.kif 655-655

appearance as argument number 3

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

Food.kif 723-723

The number 1 argument of optimal grind size for making coffee is a subclass of coffee making

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 657-662	If a process is an instance of coffee making, then there exists an entity such that the entity is an instance of coffee and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 664-673	If a process is an instance of coffee making, then there exist another process, an entity and another entity such that the other process is a subprocess of the process and the other process is an instance of liquid motion and the entity is a patient of the other process and the entity is an instance of potable water and the other process ends up at the other entity and the other entity is an instance of coffee grind
No TPTP formula. May not be expressible in strict first order.	Food.kif 686-701	If a process is an instance of coffee making, then there exist another process, an object,, , another object,, , a third object,, , a fourth object and an entity such that the other process is a subprocess of the process and the other process is an instance of removing and the other process originates at the object and the object is an instance of liquid mixture and the third object is a part of the object and the third object is an instance of potable water and the other object is a part of the object and the other object is an instance of coffee grind and the fourth object is an instrument for the other process and the fourth object is an instance of filter and the entity is a result of the other process and the entity is an instance of coffee
No TPTP formula. May not be expressible in strict first order.	Food.kif 675-684	If a process is an instance of coffee making, then there exist another process, an object and an entity such that the other process is a subprocess of the process and the other process is an instance of soaking and the object is a resource for the other process and the object is an instance of potable water and the entity is a patient of the other process and the entity is an instance of coffee grind
No TPTP formula. May not be expressible in strict first order.	Food.kif 703-716	If a time position is an instance of coffee making, then there exist an entity, another entity and a third entity such that the entity is an instance of liquid motion and the other entity is an instance of soaking and the third entity is an instance of removing and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the other entity and the beginning of the time of existence of the other entity happens before the beginning of the time of existence of the third entity holds during the time position

consequent

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

Food.kif 379-387

If a physical is an instance of coffee maker,
then the physical has the purpose there exist the physicalOFFEE and another entity such that the other entity is an instance of coffee making and the physical is an instrument for the other entity and the physicalOFFEE is a result of the other entity and the physicalOFFEE is an instance of coffee

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

KB Term:			Term intersection

English Word: