|
|
  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 | 例 倉儲和儲存 and 行業屬性 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8814-8814 | 子屬性 農產品倉儲 and 倉儲和儲存 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8799-8799 | 子屬性 一般倉儲 and 倉儲和儲存 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8821-8821 | 子屬性 其他倉儲和儲存 and 倉儲和儲存 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8807-8807 | 子屬性 冷藏倉儲 and 倉儲和儲存 |
| 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 |
|
|
|
|
