No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 496-496 | Loudspeaker is a subclass of electric speaker device |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 519-519 | Computer loudspeaker is a subclass of loudspeaker |