| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1802-1802 | Receiver device is a subclass of communication device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1803-1803 | Receiver device is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 665-665 | Radio receiver is a subclass of receiver device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25062-25062 | Mobile cell phone is a subclass of receiver device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25069-25069 | Satellite phone is a subclass of receiver device |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 380-380 | Television receiver is a subclass of receiver device |
|
|