|
|
  MiscellaneousStoreRetailers
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7748-7750 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7746-7746 | MiscellaneousStoreRetailers e' uma instancia de IndustryAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7767-7767 | Florists e' um sub-atributo de MiscellaneousStoreRetailers |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7785-7785 | OfficeSuppliesStationeryAndGiftStores e' um sub-atributo de MiscellaneousStoreRetailers |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7824-7824 | OtherMiscellaneousStoreRetailers e' um sub-atributo de MiscellaneousStoreRetailers |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7818-7818 | UsedMerchandiseStores e' um sub-atributo de MiscellaneousStoreRetailers |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38015-38015 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38014-38014 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38013-38013 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7752-7765 |
|
|
|
|