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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ScrollBarDownArrowButton

Sigma KEE - ScrollBarDownArrowButton
ScrollBarDownArrowButton

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1022-1022 ScrollBarDownArrowButton est disjoint de ScrollBarLeftArrowButton
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1021-1021 ScrollBarDownArrowButton est disjoint de ScrollBarRightArrowButton
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1020-1020 ScrollBarDownArrowButton est disjoint de ScrollBarUpArrowButton
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1015-1018
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1019-1019 partTypes ScrollBarDownArrowButton and VerticalScrollBar
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1014-1014 ScrollBarDownArrowButton est une sous-classe de ScrollBarArrowButton

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


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


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