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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GUElementState

Sigma KEE - GUElementState
GUElementState(GU element state)

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1877-1879
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1876-1876 GU element state is a subclass of visual attribute

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1888-1888 GUE active state is an instance of GU element state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2073-2073 GUE covered state is an instance of GU element state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1985-1985 GUE displayed state is an instance of GU element state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2140-2140 GUE in part covered state is an instance of GU element state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2044-2044 GUE maximized window state is an instance of GU element state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2037-2037 GUE minimized state is an instance of GU element state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1994-1994 GUE non visible state is an instance of GU element state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2019-2019 GUE offscreen state is an instance of GU element state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2110-2110 GUE partially covered state is an instance of GU element state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1957-1957 GUE passive state is an instance of GU element state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2178-2178 GUE selected state is an instance of GU element state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2133-2133 GUE translucently covered state is an instance of GU element state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2090-2090 GUE uncovered state is an instance of GU element state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2058-2058 GUE vertically maximized window state is an instance of GU element state
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64916-64916

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1884-1884 The number 2 argument of has GUE state is an instance of GU element state


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