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 est une sous-classe de ComputerIODevice |
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 494-494 |
ComputerTerminal est une sous-classe de DataDisplayDevice |