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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ScrollBar

Sigma KEE - ScrollBar
ScrollBar

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 952-952 ScrollBar est disjoint de GUIButton
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 947-950
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 946-946 ScrollBar est une sous-classe de GUIActiveArea

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 951-951 ComputerMenu est disjoint de ScrollBar
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1028-1028 GUISlider est disjoint de ScrollBar
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 976-976 ScrollBarBar est disjoint de ScrollBar
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 986-986 partTypes ScrollBarArrowButton and ScrollBar
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 975-975 partTypes ScrollBarBar and ScrollBar
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 958-958 HorizontalScrollBar est une sous-classe de ScrollBar
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 964-964 VerticalScrollBar est une sous-classe de ScrollBar
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65455-65455


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