No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7044-7044 | Commercial building is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7045-7045 | Commercial building is a subclass of place of commerce |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6966-6966 | Convention center is a subclass of commercial building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7050-7050 | Warehouse is a subclass of commercial building |