| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16652-16652 | School e' uma sub-classe de Organizacao Educacional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16657-16657 | PublicSchool e' uma sub-classe de School |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16661-16661 | PrivateSchool e' uma sub-classe de School |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16665-16665 | HighSchool e' uma sub-classe de School |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16684-16684 | SecondarySchool e' uma sub-classe de School |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16703-16703 | VocationalSchool e' uma sub-classe de School |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16721-16721 | PostSecondarySchool e' uma sub-classe de School |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16761-16761 | ArtSchool e' uma sub-classe de School |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16777-16777 | DaySchool e' uma sub-classe de School |
|
|