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

Formal Language: 



KB Term:  Term intersection
English Word: 

  optimalGrindSizeForMakingCoffee

 Sigma KEE - optimalGrindSizeForMakingCoffee
optimalGrindSizeForMakingCoffee

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


No TPTP formula. May not be expressible in strict first order. Food.kif 724-724 optimalGrindSizeForMakingCoffee 的 2 数量 是 CoffeeGrindAttribute 的 instance
No TPTP formula. May not be expressible in strict first order. Food.kif 723-723 optimalGrindSizeForMakingCoffee 的 1 数量 是 CoffeeMaking 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 718-718 optimalGrindSizeForMakingCoffee 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Food.kif 719-719 optimalGrindSizeForMakingCoffee 和 roastedToTemperature 是 内部相关

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 720-722
No TPTP formula. May not be expressible in strict first order. Food.kif 726-726
No TPTP formula. May not be expressible in strict first order. Food.kif 725-725

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 728-737

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 905-905 optimalGrindSizeForMakingCoffee AeropressingCoffee and MediumFineGrind
No TPTP formula. May not be expressible in strict first order. Food.kif 842-842 optimalGrindSizeForMakingCoffee ColdBrewingCoffee and ExtraCoarseGrind
No TPTP formula. May not be expressible in strict first order. Food.kif 893-893 optimalGrindSizeForMakingCoffee DrippingCoffee and MediumGrind
No TPTP formula. May not be expressible in strict first order. Food.kif 790-790 optimalGrindSizeForMakingCoffee EspressoMaking and FineGrind
No TPTP formula. May not be expressible in strict first order. Food.kif 860-860 optimalGrindSizeForMakingCoffee FrenchPressingCoffee and CoarseGrind
No TPTP formula. May not be expressible in strict first order. Food.kif 938-938 optimalGrindSizeForMakingCoffee MokaPotCoffeeMaking and MediumFineGrind
No TPTP formula. May not be expressible in strict first order. Food.kif 899-899 optimalGrindSizeForMakingCoffee PouringOverCoffee and MediumGrind
No TPTP formula. May not be expressible in strict first order. Food.kif 929-929 optimalGrindSizeForMakingCoffee SiphoningCoffee and MediumFineGrind
No TPTP formula. May not be expressible in strict first order. Food.kif 959-959 optimalGrindSizeForMakingCoffee TurkishCoffeeMaking and ExtraFineGrind


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