No TPTP formula. May not be expressible in strict first order. |
Food.kif 1939-1939 |
鱼肉 是 海鲜 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1982-1982 |
MolluskMeat 是 海鲜 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1946-1946 |
贝类 是 海鲜 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51663-51663 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51662-51662 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51661-51661 |
|