No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16721-16721 | Post secondary school is a subclass of school |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16726-16726 | Junior college is a subclass of post secondary school |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16730-16730 | College is a subclass of post secondary school |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16738-16738 | University is a subclass of post secondary school |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16745-16745 | Graduate school is a subclass of post secondary school |
![]() |