ComputerKeyboard
|
|
appearance as argument number 1 |
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 29599-29599 | 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 est une sous-classe de ComputerInputDevice |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 369-369 | ComputerKeyboard est une sous-classe de ComputerKeyboard_Generic |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 370-370 | ComputerKeyboard est une sous-classe de Keyboard |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 398-398 | ComputerMouse est disjoint de ComputerKeyboard |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 424-424 | TouchSensitiveComputerInputDevice est disjoint de ComputerKeyboard |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64677-64677 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29606-29612 |
|