|
|
  WarehousingAndStorage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8772-8774 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10334-10334 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12152-12152 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12153-12153 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12154-12154 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12155-12155 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8770-8770 | 仓储和储存 是 行业属性 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8814-8814 | 农产品仓储 是 仓储和储存 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8799-8799 | 一般仓储 是 仓储和储存 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8821-8821 | 其他仓储和储存 是 仓储和储存 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8807-8807 | 冷藏仓储 是 仓储和储存 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62193-62193 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62192-62192 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62191-62191 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8776-8797 |
|
|
|
|
