No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 508-508 |
Earphone is disjoint from 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 is a subclass of device |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 502-502 |
Earphone is a subclass of electric speaker device |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 503-503 |
Earphone is a subclass of wearable item |