|
|
  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 | TechnicalAndTradeSchools e' um sub-atributo de EducationalServices |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10799-10799 | ApprenticeshipTraining e' um sub-atributo de TechnicalAndTradeSchools |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10785-10785 | CosmetologyAndBarberSchools e' um sub-atributo de TechnicalAndTradeSchools |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10792-10792 | FlightTraining e' um sub-atributo de TechnicalAndTradeSchools |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10806-10806 | OtherTechnicalAndTradeSchools e' um sub-atributo de TechnicalAndTradeSchools |
| 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 |
|
|
|
