| ComputerKeyboard(computer keyboard) | | computer_keyboard, keypad |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 473-474 | |
| 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 31226-31226 | Instance of computer keyboard are always initially part of instances of laptop |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 476-476 | Instance of computer keyboard are always initially part of instances of laptop |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 375-375 | Every computer keyboard is a part of a computer keyboard key |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 472-472 | Computer keyboard is a subclass of computer input device |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 369-369 | Computer keyboard is a subclass of generic computer keyboard |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 370-370 | Computer keyboard is a subclass of keyboard |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 398-398 | Computer mouse is disjoint from computer keyboard |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 424-424 | Touch sensitive computer input device is disjoint from computer keyboard |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64698-64698 | Touch sensitive computer input device is disjoint from computer keyboard |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31233-31239 |
|
|
|
|