| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15681-15681 | 子類 Artifact and Object |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2511-2511 | 子類 ShipsHull and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2515-2515 | 子類 船甲板 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2559-2559 | 子類 船艙 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2929-2929 | 子類 過境避難所 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1830-1830 | 子類 煙草製品 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1609-1609 | 子類 盔甲 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1468-1468 | 子類 屏蔽 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1501-1501 | 子類 桅杆 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1523-1523 | 子類 管 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1537-1537 | 子類 攝影膠片 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1541-1541 | 子類 像框 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1555-1555 | 子類 架 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3353-3353 | 子類 顯示神器 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3373-3373 | 子類 輪 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3432-3432 | 子類 汽車輪胎 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3560-3560 | 子類 紙 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3607-3607 | 子類 線 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3650-3650 | 子類 串 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3659-3659 | 子類 插頭 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3668-3668 | 子類 陶器 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3678-3678 | 子類 枕頭 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3682-3682 | 子類 鏡子 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3690-3690 | 子類 家具 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4029-4029 | 子類 Mattress and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4049-4049 | 子類 BedFrame and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4122-4122 | 子類 BedLinen and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4250-4250 | 子類 船甲板 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4741-4741 | 子類 板或塊 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4765-4765 | 子類 單板 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5197-5197 | 子類 鞋底 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5686-5686 | 子類 繃帶 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6756-6756 | 子類 移動住宅 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6991-6991 | 子類 動物住所 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15109-15109 | 子類 階梯 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15171-15171 | 子類 窗口 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15212-15212 | 子類 窗簾 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16976-16976 | 子類 遊戲神器 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17829-17829 | 子類 軍事人工品 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26342-26342 | 子類 Sail and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26387-26387 | 子類 Document and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26477-26477 | 子類 GrabBar and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15361-15361 | 子類 Text and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15692-15692 | 子類 Product and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15721-15721 | 子類 StationaryArtifact and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15839-15839 | 子類 ArtWork and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15879-15879 | 子類 Fabric and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15888-15888 | 子類 可穿戴物品 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15939-15939 | 子類 Device and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2633-2633 | 子類 集水區 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5625-5625 | 子類 貯水池 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5701-5701 | 子類 引河 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 326-326 | 子類 WetBar and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 291-291 | 子類 Piston and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 307-307 | 子類 EngineCylinder and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4382-4382 | 子類 Chain and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4424-4424 | 子類 ChainLink and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4689-4689 | 子類 InteriorVehicleEquipment and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5028-5028 | 子類 VehicleSeat and Artifact |
|
|