WarehousingAndStorage(warehousing and storage)![]() ![]() ![]() |
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 10332-10332 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12141-12141 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12142-12142 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12143-12143 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12144-12144 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8770-8770 | Warehousing and storage is an instance of industry attribute |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8814-8814 | Farm product warehousing and storage is a subattribute of warehousing and storage |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8799-8799 | General warehousing and storage is a subattribute of warehousing and storage |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8821-8821 | Other warehousing and storage is a subattribute of warehousing and storage |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8807-8807 | Refrigerated warehousing and storage is a subattribute of warehousing and storage |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62187-62187 | Refrigerated warehousing and storage is a subattribute of warehousing and storage |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62186-62186 | Refrigerated warehousing and storage is a subattribute of warehousing and storage |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62185-62185 | Refrigerated warehousing and storage is a subattribute of warehousing and storage |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8776-8797 |
|
![]() |
![]() |