No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7056-7056 | Place of commerce is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24655-24655 | Place of commerce is a subclass of postal place |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7072-7072 | Commercial building is a subclass of place of commerce |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7091-7091 | Commercial unit is a subclass of place of commerce |