| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1379-1379 | Icon is a subclass of content bearing physical |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13229-13229 | Blueprint is a subclass of icon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13241-13241 | Chart is a subclass of icon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13251-13251 | Flag is a subclass of icon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13280-13280 | Arrow icon is a subclass of icon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13284-13284 | Map is a subclass of icon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29521-29521 | Trading card is a subclass of icon |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15868-15868 | Representational art work is a subclass of icon |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2998-2998 | Folder is a subclass of icon |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 447-447 | Computer touchscreen keyboard is a subclass of icon |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 842-842 | UI element is a subclass of icon |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1181-1181 | User direct action is a subclass of icon |
|
|