No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 495-498 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 125-136 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 123-123 |
ComputerTerminal e' uma sub-classe de ComputerIODevice |
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 494-494 |
ComputerTerminal e' uma sub-classe de DataDisplayDevice |