|
|
  EducationalServices
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10729-10731 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10727-10727 | Educational services is an instance of industry attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10751-10751 | Business schools and computer and management training is a subattribute of educational services |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10745-10745 | Colleges universities and professional schools is a subattribute of educational services |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10871-10871 | Educational support services is a subattribute of educational services |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10733-10733 | Elementary and secondary schools is a subattribute of educational services |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10739-10739 | Junior college industry is a subattribute of educational services |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10814-10814 | Other schools and instruction is a subattribute of educational services |
| 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 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21282-21282 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21281-21281 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21280-21280 |
|
|
|