| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2951-2951 | Telephone is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2952-2952 | Telephone is a subclass of communication device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24574-24574 | Telephone is a subclass of telephony device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25060-25060 | Fixed phone is a subclass of telephone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25063-25063 | Mobile cell phone is a subclass of telephone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25070-25070 | Satellite phone is a subclass of telephone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26277-26277 | TDD phone is a subclass of telephone |
|
|