No TPTP formula. May not be expressible in strict first order. |
naics.kif 8758-8758 |
子屬性 快遞 and 信使和信使 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8764-8764 |
子屬性 當地信使和當地交付 and 信使和信使 |
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 |
|