No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 484-484 | ElectricSpeakerDevice est une sous-classe de SpeakerDevice |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 485-485 | ElectricSpeakerDevice est une sous-classe de ElectricDevice |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 496-496 | Loudspeaker est une sous-classe de ElectricSpeakerDevice |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 502-502 | Earphone est une sous-classe de ElectricSpeakerDevice |
![]() |