No TPTP formula. May not be expressible in strict first order. |
naics.kif 7306-7306 |
托儿所和花园中心 是 草坪和园艺设备和用品商店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7299-7299 |
户外动力设备商店 是 草坪和园艺设备和用品商店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33557-33557 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33556-33556 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33555-33555 |
|