No TPTP formula. May not be expressible in strict first order. |
naics.kif 8758-8758 |
Couriers e' um sub-atributo de CouriersAndMessengers |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8764-8764 |
LocalMessengersAndLocalDelivery e' um sub-atributo de CouriersAndMessengers |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17610-17610 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17609-17609 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17608-17608 |
|