No TPTP formula. May not be expressible in strict first order. | Merge.kif 15721-15721 | 固定人工制品 是 人工制品 的 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 1140-1140 | 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 6742-6742 | 矿 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6763-6763 | 监狱 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6797-6797 | 投票调查 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6830-6830 | 纪念碑 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6842-6842 | 墓 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6854-6854 | 作坊 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7006-7006 | 体育设施 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7029-7029 | 商业地点 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7909-7909 | 尖顶 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15033-15033 | 烟囱 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15047-15047 | 抑制 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15063-15063 | 楼梯 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15087-15087 | 脚步 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15286-15286 | 门口 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15308-15308 | 壁 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15321-15321 | 地板 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15332-15332 | 天花板 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15343-15343 | 屋顶 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15353-15353 | 壁炉 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15380-15380 | Balcony 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15395-15395 | 建设水平 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15473-15473 | 车库 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15639-15639 | 门廊 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15651-15651 | 人行道 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15669-15669 | 篱笆 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15673-15673 | 运动场 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15685-15685 | 工业厂房 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15706-15706 | 实验室 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15726-15726 | 军事装置 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15731-15731 | 农场 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15748-15748 | 表演阶段 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15767-15767 | 表演舞台翼 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20545-20545 | BuildingUnit 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22576-22576 | 教育设施 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24588-24588 | PostalPlace 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25800-25800 | RunningTrack 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26016-26016 | Courtyard 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26651-26651 | Lanai 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26856-26856 | DanceHall 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15739-15739 | 建筑物 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15755-15755 | 房间 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15776-15776 | 住宅 是 固定人工制品 的 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 |