| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15743-15743 | 子類 StationaryArtifact and Artifact |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 626-626 | 子類 大規模殺傷性武器生產設施 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 637-637 | 子類 WMD武器研究設施 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 346-346 | 子類 鐵路 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 378-378 | 子類 鐵軌 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1619-1619 | 子類 橋 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1625-1625 | 子類 固定橋 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1631-1631 | 子類 隧道 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1692-1692 | 子類 運河鎖 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2910-2910 | 子類 中轉站 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1141-1141 | 子類 BowlingLane and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 21-21 | 子類 RecordingStudio and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1997-1997 | 子類 屏障 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4722-4722 | 子類 游泳池 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6741-6741 | 子類 礦 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6762-6762 | 子類 監獄 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6796-6796 | 子類 投票調查 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6829-6829 | 子類 紀念碑 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6841-6841 | 子類 墓 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6853-6853 | 子類 作坊 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7005-7005 | 子類 體育設施 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7028-7028 | 子類 商業地點 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7908-7908 | 子類 尖頂 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15032-15032 | 子類 煙囪 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15046-15046 | 子類 抑制 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15062-15062 | 子類 樓梯 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15086-15086 | 子類 腳步 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15285-15285 | 子類 門口 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15307-15307 | 子類 壁 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15320-15320 | 子類 地板 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15331-15331 | 子類 天花板 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15342-15342 | 子類 屋頂 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15352-15352 | 子類 壁爐 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15379-15379 | 子類 Balcony and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15394-15394 | 子類 建設水平 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15472-15472 | 子類 車庫 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15638-15638 | 子類 門廊 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15650-15650 | 子類 人行道 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15668-15668 | 子類 籬笆 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15672-15672 | 子類 運動場 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15684-15684 | 子類 工業廠房 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15705-15705 | 子類 實驗室 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15725-15725 | 子類 軍事裝置 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15730-15730 | 子類 農場 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15747-15747 | 子類 表演階段 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15766-15766 | 子類 表演舞台翼 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20544-20544 | 子類 BuildingUnit and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22575-22575 | 子類 教育設施 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24587-24587 | 子類 PostalPlace and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25788-25788 | 子類 RunningTrack and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26004-26004 | 子類 Courtyard and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26639-26639 | 子類 Lanai and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26844-26844 | 子類 DanceHall and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15761-15761 | 子類 Building and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15777-15777 | 子類 Room and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15798-15798 | 子類 住宅 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 89-89 | 子類 HotelUnit and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1436-1436 | 子類 Casino and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5594-5594 | 子類 運河 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5607-5607 | 子類 運河結構 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5612-5612 | 子類 壩 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3583-3583 | 子類 自動提款機 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3083-3083 | 子類 GeniusBar and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 218-218 | 子類 電台 and StationaryArtifact |
|
|