Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerScreen

Sigma KEE - ComputerScreen
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners