No TPTP formula. May not be expressible in strict first order. |
naics.kif 10241-10241 |
商业摄影 是 摄影服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10234-10234 |
摄影工作室肖像 是 摄影服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45690-45690 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45689-45689 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45688-45688 |
|