| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1379-1379 | 图标 是 内容承载物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13229-13229 | 蓝图 是 图标 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13241-13241 | 图表 是 图标 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13251-13251 | 旗 是 图标 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13280-13280 | 箭头图标 是 图标 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13284-13284 | 地图 是 图标 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29521-29521 | TradingCard 是 图标 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15868-15868 | 代表性的艺术作品 是 图标 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2998-2998 | 资料夹 是 图标 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 447-447 | ComputerTouchscreenKeyboard 是 图标 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 842-842 | UIElement 是 图标 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1181-1181 | UserDirectAction 是 图标 的 subclass |
|
|