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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerKeypad

appearance as argument number 1

(classIntersection ComputerKeypad ComputerTouchscreen ComputerTouchscreenKeypad) ComputerInput.kif 492-492 The intersection of ComputerKeypad and ComputerTouchscreen is ComputerTouchscreenKeypad
(disjoint ComputerKeypad ComputerKeyboard_Generic) ComputerInput.kif 402-402 ComputerKeypad is disjoint from ComputerKeyboard_Generic
(documentation ComputerKeypad EnglishLanguage "A ComputerKeyboard_Generic that does not have a typewriter layout.") ComputerInput.kif 400-401
(subclass ComputerKeypad ComputerKeyboard_Generic) ComputerInput.kif 399-399 ComputerKeypad is a subclass of ComputerKeyboard_Generic

appearance as argument number 2

(subclass ComputerTouchscreenKeypad ComputerKeypad) ComputerInput.kif 491-491 ComputerTouchscreenKeypad is a subclass of ComputerKeypad

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

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners