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