No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7071-7071 | 商业建筑 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7072-7072 | 商业建筑 是 商业地点 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6993-6993 | ConventionCenter 是 商业建筑 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7077-7077 | 仓库 是 商业建筑 的 subclass |