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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CoffeeGrindAttribute
CoffeeGrindAttribute(coffee grind attribute)

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


No TPTP formula. May not be expressible in strict first order. Food.kif 1059-1060
No TPTP formula. May not be expressible in strict first order. Food.kif 1058-1058 Coffee grind attribute is a subclass of relational attribute

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


No TPTP formula. May not be expressible in strict first order. Food.kif 1102-1102 Coarse grind is an instance of coffee grind attribute
No TPTP formula. May not be expressible in strict first order. Food.kif 1090-1090 Extra coarse grind is an instance of coffee grind attribute
No TPTP formula. May not be expressible in strict first order. Food.kif 1162-1162 Extra fine grind is an instance of coffee grind attribute
No TPTP formula. May not be expressible in strict first order. Food.kif 1150-1150 Fine grind is an instance of coffee grind attribute
No TPTP formula. May not be expressible in strict first order. Food.kif 1114-1114 Medium coarse grind is an instance of coffee grind attribute
No TPTP formula. May not be expressible in strict first order. Food.kif 1138-1138 Medium fine grind is an instance of coffee grind attribute
No TPTP formula. May not be expressible in strict first order. Food.kif 1126-1126 Medium grind is an instance of coffee grind attribute
No TPTP formula. May not be expressible in strict first order. Food.kif 630-630 Coffee is internally related to coffee grind attribute
No TPTP formula. May not be expressible in strict first order. Food.kif 448-448 Coffee roast attribute is internally related to coffee grind attribute
No TPTP formula. May not be expressible in strict first order. Food.kif 109-109 Hulled is internally related to coffee grind attribute
No TPTP formula. May not be expressible in strict first order. Food.kif 1061-1061

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 724-724 The number 2 argument of optimal grind size for making coffee is an instance of coffee grind attribute

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


No TPTP formula. May not be expressible in strict first order. Food.kif 1063-1073