No TPTP formula. May not be expressible in strict first order. |
naics.kif 10863-10863 |
所有其他杂项学校和指导 是 所有其他学校和指导 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10856-10856 |
汽车驾驶学校 是 所有其他学校和指导 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10849-10849 |
考试准备和辅导 是 所有其他学校和指导 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6888-6888 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6887-6887 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6886-6886 |
|