|
|
  FinfishFarmingAndFishHatcheries
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 448-451 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9212-9212 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9210-9210 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9213-9213 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 446-446 | 有鳍鱼养殖和鱼类孵化场 是 动物水产养殖 的 subAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23852-23852 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23851-23851 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23850-23850 |
|
|
|
