| 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. | Transportation.kif 3072-3072 | 运河闸门 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3074-3074 | 红绿灯 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2015-2015 | 壅 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1317-1317 | Lever 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1722-1722 | 传感器 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1882-1882 | 增氧机 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1920-1920 | 刷子或梳子 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1934-1934 | 匹配设备 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1997-1997 | 写作设备 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2009-2009 | 吸烟装置 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2198-2198 | 厕所 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2248-2248 | 餐具 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2260-2260 | 罗盘 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2271-2271 | 主要电器 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2282-2282 | 冷却装置 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2305-2305 | 加热装置 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2374-2374 | 娱乐或运动器材 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2385-2385 | Toy 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2438-2438 | 拐杖 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2450-2450 | 洗涤设备 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2462-2462 | 物料搬运设备 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2493-2493 | 光学设备 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2519-2519 | 过滤 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2533-2533 | 文件设备 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2542-2542 | 电器 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2565-2565 | 能量源 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2659-2659 | 安全装置 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2734-2734 | 动物控制器 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2749-2749 | 自供电设备 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2762-2762 | 动物动力装置 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2850-2850 | 指挥棒 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3014-3014 | 灯具 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3252-3252 | 绘画装置 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3384-3384 | 车辆控制器 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3535-3535 | 轴 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4007-4007 | 盖子 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4193-4193 | Screwdriver 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4208-4208 | 锤子 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4277-4277 | 垫圈 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4314-4314 | 持有人 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5588-5588 | 清洁设备 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13313-13313 | 相机 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15034-15034 | 烟囱 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15256-15256 | 门 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15354-15354 | 壁炉 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17841-17841 | 爆炸装置 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21994-21994 | 切割装置 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24055-24055 | 避孕器具 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25197-25197 | IroningBoard 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25363-25363 | DryingDevice 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25419-25419 | SmokeDetector 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25434-25434 | Sprinkler 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25478-25478 | 灭火器 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25618-25618 | DataStorageDevice 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25816-25816 | KnockLight 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25905-25905 | ElectricalOutlet 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25962-25962 | OutletAdapter 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26048-26048 | Earphone 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26245-26245 | AudioRecorder 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26437-26437 | TelephoneHandset 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26452-26452 | FireAlarm 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26703-26703 | Tripod 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29377-29377 | VehicleDoor 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30785-30785 | Carabiner 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15957-15957 | 乐器 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15965-15965 | 运输设备 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16000-16000 | 测量工具 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16012-16012 | 附着装置 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16023-16023 | 武器 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16041-16041 | 机器 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16056-16056 | 工程组件 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 661-661 | MedicalDevice 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1360-1360 | InternetAccessPoint 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 753-753 | 摆 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 776-776 | 弹簧 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 880-880 | 转换开关 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5160-5160 | 热封机 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3758-3758 | LaptopScreenPart 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3775-3775 | LaptopKeyboardPart 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 112-112 | Keyboard 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 475-475 | SpeakerDevice 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 59-59 | TelephoneCradle 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 538-538 | Brake 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 582-582 | WearingFrictionSurface 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 660-660 | BrakeRotor 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 666-666 | BrakeDrum 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 672-672 | BrakeCaliper 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 677-677 | BrakePedal 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 770-770 | Damper 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1105-1105 | FuelAtomizer 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1309-1309 | EngineChoke 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1404-1404 | BallBearing 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1634-1634 | Cam 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1695-1695 | CombustionChamber 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1808-1808 | Clutch 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1967-1967 | EngineConnectingRod 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2267-2267 | Distributor 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2310-2310 | Drivebelt 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2534-2534 | GasPedal 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2613-2613 | AutomobileMuffler 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2619-2619 | ExhaustManifold 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2832-2832 | Gasket 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2904-2904 | SpeedGovernor 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3006-3006 | GreaseFitting 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3030-3030 | GreaseGun 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3209-3209 | JumperCable 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3350-3350 | SafetyDevice 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3836-3836 | RockerArm 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4115-4115 | Rod 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4145-4145 | Wrench 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4201-4201 | MechanicalTap 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4215-4215 | MechanicalDie 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4268-4268 | 卷轴 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4316-4316 | WheelChock 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4438-4438 | TireChain 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4480-4480 | UnpoweredDevice 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4664-4664 | VehicleRoofRack 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4780-4780 | Tire 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4806-4806 | WheelRim 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4870-4870 | TireChanger 是 设备 的 subclass |
|
|