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 40889-40889 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40888-40888 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40887-40887 |
|