No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6155-6155 |
谷物种植 是 油籽和粮食种植 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 111-111 |
玉米种植 是 油籽和粮食种植 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 99-99 |
干豌豆和豆类种植 是 油籽和粮食种植 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 92-92 |
除大豆种植外的油籽 是 油籽和粮食种植 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 123-123 |
其他粮食种植 是 油籽和粮食种植 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 117-117 |
水稻种植 是 油籽和粮食种植 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 86-86 |
大豆种植 是 油籽和粮食种植 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 105-105 |
小麦种植 是 油籽和粮食种植 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41994-41994 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41993-41993 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41992-41992 |
|