| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15743-15743 | 固定人工制品 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 626-626 | 大规模杀伤性武器生产设施 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 637-637 | WMD武器研究设施 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 346-346 | 铁路 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 378-378 | 铁轨 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1619-1619 | 桥 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1625-1625 | 固定桥 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1631-1631 | 隧道 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1692-1692 | 运河锁 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2910-2910 | 中转站 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1141-1141 | BowlingLane 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 21-21 | RecordingStudio 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1997-1997 | 屏障 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4722-4722 | 游泳池 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6741-6741 | 矿 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6762-6762 | 监狱 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6796-6796 | 投票调查 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6829-6829 | 纪念碑 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6841-6841 | 墓 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6853-6853 | 作坊 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7005-7005 | 体育设施 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7028-7028 | 商业地点 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7908-7908 | 尖顶 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15032-15032 | 烟囱 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15046-15046 | 抑制 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15062-15062 | 楼梯 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15086-15086 | 脚步 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15285-15285 | 门口 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15307-15307 | 壁 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15320-15320 | 地板 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15331-15331 | 天花板 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15342-15342 | 屋顶 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15352-15352 | 壁炉 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15379-15379 | Balcony 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15394-15394 | 建设水平 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15472-15472 | 车库 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15638-15638 | 门廊 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15650-15650 | 人行道 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15668-15668 | 篱笆 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15672-15672 | 运动场 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15684-15684 | 工业厂房 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15705-15705 | 实验室 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15725-15725 | 军事装置 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15730-15730 | 农场 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15747-15747 | 表演阶段 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15766-15766 | 表演舞台翼 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20544-20544 | BuildingUnit 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22575-22575 | 教育设施 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24587-24587 | PostalPlace 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25788-25788 | RunningTrack 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26004-26004 | Courtyard 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26639-26639 | Lanai 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26844-26844 | DanceHall 是 固定人工制品 的 subclass |
| 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. | Merge.kif 15777-15777 | 房间 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15798-15798 | 住宅 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 89-89 | HotelUnit 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1436-1436 | Casino 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5594-5594 | 运河 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5607-5607 | 运河结构 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5612-5612 | 坝 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3583-3583 | 自动提款机 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3083-3083 | GeniusBar 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 218-218 | 电台 是 固定人工制品 的 subclass |
|
|