No TPTP formula. May not be expressible in strict first order. |
Food.kif 2487-2487 |
roomTempState 可可脂 and 乳膠 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3097-3097 |
子類 奶油 and 乳膠 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3152-3152 |
子類 FermentedMilkProduct and 乳膠 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21610-21610 |
子類 乳膠 and 乳膠 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3173-3173 |
子類 Yogurt and 乳膠 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22008-22008 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22007-22007 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22006-22006 |
|