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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GUISliderIndicator

Sigma KEE - GUISliderIndicator
GUISliderIndicator

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1042-1042 GUISliderIndicator est disjoint de ComputerMenu
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1043-1043 GUISliderIndicator est disjoint de ScrollBar
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1044-1044 GUISliderIndicator est disjoint de ScrollBarBar
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1037-1040
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1036-1036 GUISliderIndicator est une sous-classe de GUIActiveArea

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1041-1041 partTypes GUISlider and GUISliderIndicator
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64924-64924


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