| School(school)
| | direct-grant_school, finishing_school, school, school_system, schoolhouse |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18041-18043 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 716-716 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 161-161 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18040-18040 | School is a subclass of educational organization |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18149-18149 | Art school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18165-18165 | Day school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18053-18053 | High school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18109-18109 | Post secondary school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18049-18049 | Private school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18045-18045 | Public school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18072-18072 | Secondary school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18091-18091 | Vocational school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51553-51553 | Vocational school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51552-51552 | Vocational school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51551-51551 | Vocational school is a subclass of school |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8145-8150 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16971-16976 |
|
|
|
|