No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 477-477 | ComputerOutputDevice est une sous-classe de ComputerHardware |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 483-483 | TouchScreen est une sous-classe de ComputerOutputDevice |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 493-493 | ComputerTerminal est une sous-classe de ComputerOutputDevice |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1831-1831 | Printer est une sous-classe de ComputerOutputDevice |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 118-118 | ComputerIODevice est une sous-classe de ComputerOutputDevice |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 138-138 | ComputerDisplay est une sous-classe de ComputerOutputDevice |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 518-518 | ComputerLoudspeaker est une sous-classe de ComputerOutputDevice |