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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DrippingCoffee

Sigma KEE - DrippingCoffee
DrippingCoffee(dripping coffee)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 886-891
No TPTP formula. May not be expressible in strict first order. Food.kif 893-893 Medium grind is the optimal CoffeeGrindAttribute for dripping coffee coffee making process
No TPTP formula. May not be expressible in strict first order. Food.kif 885-885 Dripping 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 895-895 Pour over coffee is a subclass of dripping coffee
No TPTP formula. May not be expressible in strict first order. Food.kif 892-892


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