|
|
  TreeNutFarming
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 214-216 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6201-6201 | 食用堅果 是 樹堅果種植 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 212-212 | 子屬性 樹堅果種植 and 非柑橘類水果和樹堅果種植 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59144-59144 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59143-59143 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59142-59142 |
|
|
|