No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26036-26036 | 子類 Earphone and Device |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 502-502 | 子類 Earphone and ElectricSpeakerDevice |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 503-503 | 子類 Earphone and 可穿戴物品 |