No TPTP formula. May not be expressible in strict first order. |
naics.kif 9066-9066 |
子屬性 電纜和其他程序分發 and 有線網絡和程序分發 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9060-9060 |
子屬性 有線網絡 and 有線網絡和程序分發 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12595-12595 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12594-12594 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12593-12593 |
|