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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CoffeeGrindAttribute
CoffeeGrindAttribute

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 子類 CoffeeGrindAttribute and RelationalAttribute

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


No TPTP formula. May not be expressible in strict first order. Food.kif 1102-1102 例 CoarseGrind and CoffeeGrindAttribute
No TPTP formula. May not be expressible in strict first order. Food.kif 1090-1090 例 ExtraCoarseGrind and CoffeeGrindAttribute
No TPTP formula. May not be expressible in strict first order. Food.kif 1162-1162 例 ExtraFineGrind and CoffeeGrindAttribute
No TPTP formula. May not be expressible in strict first order. Food.kif 1150-1150 例 FineGrind and CoffeeGrindAttribute
No TPTP formula. May not be expressible in strict first order. Food.kif 1114-1114 例 MediumCoarseGrind and CoffeeGrindAttribute
No TPTP formula. May not be expressible in strict first order. Food.kif 1138-1138 例 MediumFineGrind and CoffeeGrindAttribute
No TPTP formula. May not be expressible in strict first order. Food.kif 1126-1126 例 MediumGrind and CoffeeGrindAttribute
No TPTP formula. May not be expressible in strict first order. Food.kif 630-630 相關的內部概念 咖啡 and CoffeeGrindAttribute
No TPTP formula. May not be expressible in strict first order. Food.kif 448-448 相關的內部概念 CoffeeRoastAttribute and CoffeeGrindAttribute
No TPTP formula. May not be expressible in strict first order. Food.kif 109-109 相關的內部概念 DryRoastAttribute and CoffeeGrindAttribute
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 域 optimalGrindSizeForMakingCoffee, 2 and CoffeeGrindAttribute

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


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