| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1379-1379 | 子類 Icon and 內容承載物理 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13228-13228 | 子類 藍圖 and Icon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13240-13240 | 子類 圖表 and Icon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13250-13250 | 子類 旗 and Icon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13279-13279 | 子類 箭頭圖標 and Icon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13283-13283 | 子類 地圖 and Icon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29509-29509 | 子類 TradingCard and Icon |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15890-15890 | 子類 代表性的藝術作品 and Icon |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2998-2998 | 子類 資料夾 and Icon |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 447-447 | 子類 ComputerTouchscreenKeyboard and Icon |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 842-842 | 子類 UIElement and Icon |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1181-1181 | 子類 UserDirectAction and Icon |
|
|