No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6155-6155 |
子屬性 穀物種植 and 油籽和糧食種植 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 111-111 |
子屬性 玉米種植 and 油籽和糧食種植 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 99-99 |
子屬性 乾豌豆和豆類種植 and 油籽和糧食種植 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 92-92 |
子屬性 除大豆種植外的油籽 and 油籽和糧食種植 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 123-123 |
子屬性 其他糧食種植 and 油籽和糧食種植 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 117-117 |
子屬性 水稻種植 and 油籽和糧食種植 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 86-86 |
子屬性 大豆種植 and 油籽和糧食種植 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 105-105 |
子屬性 小麥種植 and 油籽和糧食種植 |
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 |
|