No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26081-26081 | Earphone 是 设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 502-502 | Earphone 是 ElectricSpeakerDevice 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 503-503 | Earphone 是 可穿戴物品 的 subclass |