No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 472-473 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 371-374 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29536-29536 |
initiallyContainsPart ComputerKeyboard and Laptop |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 475-475 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 375-375 |
partTypes ComputerKeyboard and ComputerKeyboardKey |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 471-471 |
ComputerKeyboard e' uma sub-classe de ComputerInputDevice |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 369-369 |
ComputerKeyboard e' uma sub-classe de ComputerKeyboard_Generic |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 370-370 |
ComputerKeyboard e' uma sub-classe de Keyboard |