| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1379-1379 | Icone est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13229-13229 | Blueprint est une sous-classe de icone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13241-13241 | Chart est une sous-classe de icone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13251-13251 | Flag est une sous-classe de icone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13280-13280 | ArrowIcon est une sous-classe de icone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13284-13284 | Map est une sous-classe de icone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29521-29521 | TradingCard est une sous-classe de icone |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15868-15868 | RepresentationalArtWork est une sous-classe de icone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2998-2998 | FolderIcon est une sous-classe de icone |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 447-447 | ComputerTouchscreenKeyboard est une sous-classe de icone |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 842-842 | UIElement est une sous-classe de icone |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1181-1181 | UserDirectAction est une sous-classe de icone |
|
|