No TPTP formula. May not be expressible in strict first order. |
naics.kif 7907-7907 |
DirectSellingEstablishments e' um sub-atributo de NonstoreRetailers |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7895-7895 |
ElectronicShoppingAndMailOrderHouses e' um sub-atributo de NonstoreRetailers |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7901-7901 |
VendingMachineOperators e' um sub-atributo de NonstoreRetailers |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40887-40887 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40886-40886 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40885-40885 |
|