Butter(butter) | Meuniere_butter, beurre_noisette, brown_butter, butter, clarified_butter, drawn_butter, ghee, lemon_butter, stick |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3099-3099 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 307-307 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3098-3098 | roomTempState butter and solid |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3096-3096 | Butter is a subclass of dairy product |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3097-3097 | Butter is a subclass of emulsion |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12511-12511 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12510-12510 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12509-12509 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1731-1746 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3101-3106 |
|
consequent |