|
|
  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 | Technical and trade schools is a subattribute of educational services |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10799-10799 | Apprenticeship training is a subattribute of technical and trade schools |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10785-10785 | Cosmetology and barber schools is a subattribute of technical and trade schools |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10792-10792 | Flight training is a subattribute of technical and trade schools |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10806-10806 | Other technical and trade schools is a subattribute of technical and trade schools |
| 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 |
|
|
|
