No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 508-508 |
不相交的 Earphone and Loudspeaker |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26082-26083 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 505-506 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26081-26081 |
子類 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 可穿戴物品 |