No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26048-26048 | Earphone is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 502-502 | Earphone is a subclass of electric speaker device |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 503-503 | Earphone is a subclass of wearable item |