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 26037-26038 |
|
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 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 可穿戴物品 |