No TPTP formula. May not be expressible in strict first order. |
naics.kif 244-244 |
蘑菇生产 是 覆盖下成长的的粮食作物 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 251-251 |
掩埋下种植的其他粮食作物 是 覆盖下成长的的粮食作物 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24512-24512 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24511-24511 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24510-24510 |
|