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 26049-26050 |
|
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 26048-26048 |
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 |