No TPTP formula. May not be expressible in strict first order. |
naics.kif 10863-10863 |
子屬性 所有其他雜項學校和指導 and 所有其他學校和指導 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10856-10856 |
子屬性 汽車駕駛學校 and 所有其他學校和指導 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10849-10849 |
子屬性 考試準備和輔導 and 所有其他學校和指導 |
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 |
|