No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6237-6237 |
子類 AloveraGel and 凝膠 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3259-3259 |
子類 起司 and 凝膠 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3139-3139 |
子類 Curd and 凝膠 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25634-25634 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25633-25633 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25632-25632 |
|