Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CoffeeMaking

Sigma KEE - CoffeeMaking
CoffeeMaking(coffee making)

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
No TPTP formula. May not be expressible in strict first order. Food.kif 664-673
No TPTP formula. May not be expressible in strict first order. Food.kif 686-701
No TPTP formula. May not be expressible in strict first order. Food.kif 675-684
No TPTP formula. May not be expressible in strict first order. Food.kif 703-716

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 379-387


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