| Butter
| |
| 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 est une sous-classe de DairyArtifact |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3097-3097 | Butter est une sous-classe de 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 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3076-3094 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3065-3074 |
|
|
|