|
|
  TechnicalAndTradeSchools
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10781-10783 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10285-10285 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11968-11968 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11970-11970 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11971-11971 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10779-10779 | 子屬性 技術和貿易學校 and 教育服務 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10799-10799 | 子屬性 學徒培訓 and 技術和貿易學校 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10785-10785 | 子屬性 美容和理髮學校 and 技術和貿易學校 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10792-10792 | 子屬性 飛行訓練 and 技術和貿易學校 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10806-10806 | 子屬性 其他技術和貿易學校 and 技術和貿易學校 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57199-57199 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57198-57198 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57197-57197 |
|
|
|
