No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26036-26036 | Earphone est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 502-502 | Earphone est une sous-classe de ElectricSpeakerDevice |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 503-503 | Earphone est une sous-classe de WearableItem |