No TPTP formula. May not be expressible in strict first order. |
naics.kif 10843-10843 |
所有其他学校和指导 是 其他学校和指导 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10820-10820 |
美术学校 是 其他学校和指导 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10837-10837 |
语言学校 是 其他学校和指导 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10827-10827 |
体育和娱乐指导 是 其他学校和指导 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43436-43436 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43435-43435 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43434-43434 |
|