Tree
|
|
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 | 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 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 |
|