No TPTP formula. May not be expressible in strict first order. |
naics.kif 8758-8758 |
快递 是 信使和信使 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8764-8764 |
当地信使和当地交付 是 信使和信使 的 subAttribute |
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 |
|