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 13256-13256 | 子類 藍圖 and Icon |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13268-13268 | 子類 圖表 and Icon |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13278-13278 | 子類 旗 and Icon |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13307-13307 | 子類 箭頭圖標 and Icon |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13311-13311 | 子類 地圖 and Icon |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29572-29572 | 子類 TradingCard and Icon |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15914-15914 | 子類 代表性的藝術作品 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 |