| 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. | 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 1140-1140 | 子類 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 6742-6742 | 子類 礦 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6763-6763 | 子類 監獄 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6797-6797 | 子類 投票調查 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6830-6830 | 子類 紀念碑 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6842-6842 | 子類 墓 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6854-6854 | 子類 作坊 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7006-7006 | 子類 體育設施 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7029-7029 | 子類 商業地點 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7909-7909 | 子類 尖頂 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15033-15033 | 子類 煙囪 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15047-15047 | 子類 抑制 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15063-15063 | 子類 樓梯 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15087-15087 | 子類 腳步 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15286-15286 | 子類 門口 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15308-15308 | 子類 壁 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15321-15321 | 子類 地板 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15332-15332 | 子類 天花板 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15343-15343 | 子類 屋頂 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15353-15353 | 子類 壁爐 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15380-15380 | 子類 Balcony and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15395-15395 | 子類 建設水平 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15473-15473 | 子類 車庫 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15639-15639 | 子類 門廊 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15651-15651 | 子類 人行道 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15669-15669 | 子類 籬笆 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15673-15673 | 子類 運動場 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15685-15685 | 子類 工業廠房 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15706-15706 | 子類 實驗室 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15726-15726 | 子類 軍事裝置 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15731-15731 | 子類 農場 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15748-15748 | 子類 表演階段 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15767-15767 | 子類 表演舞台翼 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20545-20545 | 子類 BuildingUnit and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22576-22576 | 子類 教育設施 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24588-24588 | 子類 PostalPlace and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25800-25800 | 子類 RunningTrack and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26016-26016 | 子類 Courtyard and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26651-26651 | 子類 Lanai and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26856-26856 | 子類 DanceHall and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15739-15739 | 子類 Building and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15755-15755 | 子類 Room and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15776-15776 | 子類 住宅 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 |
|
|