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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GUIElement

Sigma KEE - GUIElement
GUIElement(GUI element)

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 866-868
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 864-864 GUI element is a subclass of image
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 865-865 GUI element is a subclass of UI element

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 869-869 Textual computer menu is disjoint from GUI element
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2180-2180 Banner is a subclass of GUI element
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1046-1046 Cursor is a subclass of GUI element
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 878-878 GUI active area is a subclass of GUI element
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2532-2532 Dock is a subclass of GUI element
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1075-1075 Interface window is a subclass of GUI element
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1101-1101 Text box is a subclass of GUI element
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 870-870

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2516-2516 The number 2 argument of GUI element covered is an instance of GUI element
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2541-2541 The number 1 argument of GUI element covered by is an instance of GUI element
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2542-2542 The number 2 argument of GUI element covered by is an instance of GUI element
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2557-2557 The number 2 argument of GUI element partially covered is an instance of GUI element
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2592-2592 The number 1 argument of GUI element partially covered by is an instance of GUI element
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2593-2593 The number 2 argument of GUI element partially covered by is an instance of GUI element
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2625-2625 The number 2 argument of GUI element uncovered is an instance of GUI element
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1883-1883 The number 1 argument of has GUE state is an instance of GUI element
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 873-873 The number 1 argument of screen of GUIE is an instance of GUI element

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2268-2277
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2597-2607
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2609-2617
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1909-1915
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1935-1948
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2082-2088
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2001-2007
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2029-2035
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1977-1983
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2283-2288
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1920-1929
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2149-2155

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2521-2527
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2504-2512
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2564-2569
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2631-2636


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