No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7666-7666 | Medical clinic building is a subclass of the complement of residence |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7667-7667 | Medical clinic building is a subclass of building |