No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16722-16722 | Post secondary school is a subclass of school |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16727-16727 | Junior college is a subclass of post secondary school |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16731-16731 | College is a subclass of post secondary school |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16739-16739 | University is a subclass of post secondary school |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16746-16746 | Graduate school is a subclass of post secondary school |