| 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 13228-13228 | Blueprint is a subclass of icon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13240-13240 | Chart is a subclass of icon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13250-13250 | Flag is a subclass of icon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13279-13279 | Arrow icon is a subclass of icon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13283-13283 | Map is a subclass of icon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29509-29509 | Trading card is a subclass of icon |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15890-15890 | 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 |
|
|