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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GUIElement

Sigma KEE - GUIElement
GUIElement

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 GUIElement is a subclass of Image
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 865-865 GUIElement is a subclass of UIElement

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 869-869 TextualComputerMenu is disjoint from GUIElement
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2148-2148 Banner is a subclass of GUIElement
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1045-1045 Cursor is a subclass of GUIElement
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 877-877 GUIActiveArea is a subclass of GUIElement
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2500-2500 Dock is a subclass of GUIElement
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1074-1074 InterfaceWindow is a subclass of GUIElement
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1100-1100 TextBox is a subclass of GUIElement

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2512-2512 The number 2 argument of guiElementCovered is an instance of GUIElement
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2537-2537 The number 1 argument of guiElementCoveredBy is an instance of GUIElement
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2538-2538 The number 2 argument of guiElementCoveredBy is an instance of GUIElement
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2553-2553 The number 2 argument of guiElementPartiallyCovered is an instance of GUIElement
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2588-2588 The number 1 argument of guiElementPartiallyCoveredBy is an instance of GUIElement
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2589-2589 The number 2 argument of guiElementPartiallyCoveredBy is an instance of GUIElement
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2621-2621 The number 2 argument of guiElementUncovered is an instance of GUIElement
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1880-1880 The number 1 argument of hasGUEState is an instance of GUIElement
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 872-872 The number 1 argument of screenOfGUIE is an instance of GUIElement

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2265-2274
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2593-2603
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2605-2613
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1906-1912
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1932-1945
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2079-2085
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1998-2004
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2026-2032
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1974-1980
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2280-2285
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1917-1926
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2146-2152

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2517-2523
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2500-2508
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2560-2565
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2627-2632


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