| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15681-15681 | 人工制品 是 客体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2511-2511 | ShipsHull 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2515-2515 | 船甲板 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2559-2559 | 船舱 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2929-2929 | 过境避难所 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1830-1830 | 烟草制品 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1609-1609 | 盔甲 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1468-1468 | 屏蔽 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1501-1501 | 桅杆 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1523-1523 | 管 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1537-1537 | 摄影胶片 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1541-1541 | 像框 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1555-1555 | 架 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3353-3353 | 显示神器 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3373-3373 | 轮 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3432-3432 | 汽车轮胎 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3560-3560 | 纸 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3607-3607 | 线 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3650-3650 | 串 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3659-3659 | 插头 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3668-3668 | 陶器 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3678-3678 | 枕头 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3682-3682 | 镜子 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3690-3690 | 家具 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4029-4029 | Mattress 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4049-4049 | BedFrame 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4122-4122 | BedLinen 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4250-4250 | 船甲板 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4741-4741 | 板或块 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4765-4765 | 单板 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5197-5197 | 鞋底 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5686-5686 | 绷带 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6756-6756 | 移动住宅 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6991-6991 | 动物住所 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15109-15109 | 阶梯 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15171-15171 | 窗口 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15212-15212 | 窗帘 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16976-16976 | 游戏神器 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17829-17829 | 军事人工品 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26342-26342 | Sail 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26387-26387 | Document 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26477-26477 | GrabBar 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15361-15361 | 文本 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15692-15692 | 产品 是 人工制品 的 subclass |
| 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. | Merge.kif 15839-15839 | 艺术品 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15879-15879 | 织品 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15888-15888 | 可穿戴物品 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15939-15939 | 设备 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2633-2633 | 集水区 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5625-5625 | 贮水池 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5701-5701 | 引河 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 326-326 | WetBar 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 291-291 | Piston 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 307-307 | EngineCylinder 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4382-4382 | Chain 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4424-4424 | ChainLink 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4689-4689 | InteriorVehicleEquipment 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5028-5028 | VehicleSeat 是 人工制品 的 subclass |
|
|