| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26262-26262 | Video display is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 484-484 | Touch screen is a subclass of video display |
|
|