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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GUISlider

Sigma KEE - GUISlider
GUISlider(GUI slider)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1030-1030 GUI slider is disjoint from computer touchscreen keyboard
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1029-1029 GUI slider is disjoint from computer touchscreen keypad
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1028-1028 GUI slider is disjoint from scroll bar
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1025-1027
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1041-1041 Every GUI slider is a part of a GUI slider indicator
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1024-1024 GUI slider is a subclass of GUI active area

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64921-64921


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 3.0 is open source software produced by Articulate Software and its partners