No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26022-26022 | SpeakerDevice e' uma sub-classe de ElectricDevice |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 475-475 | SpeakerDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 484-484 | ElectricSpeakerDevice e' uma sub-classe de SpeakerDevice |