|
|
   ComputerScreen
|
|
|
| appearance as argument number 1 |
|
|
| (classIntersection ComputerScreen TouchSensitiveComputerInputDevice ComputerTouchscreen) | ComputerInput.kif 462-463 | classIntersection ComputerScreen, TouchSensitiveComputerInputDevice and ComputerTouchscreen |
| (disjoint ComputerScreen ComputerTouchpad) | ComputerInput.kif 458-458 | disjoint ComputerScreen and ComputerTouchpad |
| (documentation ComputerScreen EnglishLanguage "A ComputerDisplay for displaying information on some sort of screen.") | ComputerInput.kif 179-180 | |
| (initiallyContainsPart ComputerScreen Laptop) | Mid-level-ontology.kif 27776-27776 | initiallyContainsPart ComputerScreen and Laptop |
| (subclass ComputerScreen ComputerDisplay) | ComputerInput.kif 178-178 | subclass ComputerScreen and ComputerDisplay |
| appearance as argument number 2 |
|
|
| (subclass ComputerTouchscreen ComputerScreen) | ComputerInput.kif 461-461 | subclass ComputerTouchscreen and ComputerScreen |
| appearance as argument number 3 |
|
|
| (domain screenOfGUIE 2 ComputerScreen) | ComputerInput.kif 902-902 | domain screenOfGUIE, 2 and ComputerScreen |
| antecedent |
|
|
| (=> (instance ?SCREEN ComputerScreen) (shape ?SCREEN Rectangle)) |
ComputerInput.kif 182-184 |
|
|
|