No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16749-16749 | Post secondary school is a subclass of school |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16754-16754 | Junior college is a subclass of post secondary school |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16758-16758 | College is a subclass of post secondary school |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16766-16766 | University is a subclass of post secondary school |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16773-16773 | Graduate school is a subclass of post secondary school |