No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7043-7043 | 商业建筑 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7044-7044 | 商业建筑 是 商业地点 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6965-6965 | ConventionCenter 是 商业建筑 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7049-7049 | 仓库 是 商业建筑 的 subclass |
![]() |