| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15761-15761 | 建筑物 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2919-2919 | 航站楼 是 建筑物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2934-2934 | 家庭车库 是 建筑物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2935-2935 | 停车库 是 建筑物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3076-3076 | 收费站 是 建筑物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 648-648 | 棒球独木舟 是 建筑物 的 subclass |
| 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 7078-7078 | 商店 是 建筑物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7090-7090 | 农场建设 是 建筑物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7319-7319 | 礼堂 是 建筑物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7666-7666 | 医疗诊所大楼 是 建筑物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7903-7903 | 宗教建筑 是 建筑物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8475-8475 | LibraryBuilding 是 建筑物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15735-15735 | 谷仓 是 建筑物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20921-20921 | 警察设施 是 建筑物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22389-22389 | 娱乐建筑 是 建筑物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22401-22401 | 政府大楼 是 建筑物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22476-22476 | 办公楼 是 建筑物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22481-22481 | 学校楼 是 建筑物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22519-22519 | 礼拜的场所 是 建筑物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22555-22555 | 餐厅建筑 是 建筑物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26491-26491 | HighRise 是 建筑物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15825-15825 | 住宅楼 是 建筑物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 132-132 | HotelVilla 是 建筑物 的 subclass |
|
|