No TPTP formula. May not be expressible in strict first order. |
Food.kif 2143-2143 |
Bagel is a subclass of bread or biscuit |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2715-2715 |
Pancake is a subclass of bread or biscuit |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11879-11879 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11878-11878 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11877-11877 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1556-1556 |
A wheat flour is typically a part of a bread or biscuit |