screenOfGUIE - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - screenOfGUIE

screenOfGUIE

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 875-876
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
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 874-874	The number 2 argument of screen of GUIE is an instance of computer screen
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 872-872	screen of GUIE is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4466-4466
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4465-4465
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4464-4464
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65931-65931

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2120-2131	If a GUI element has state GUE uncovered state and the GUI element has state GUE maximized window state and the GUI element is displayed on a computer screen and another GUI element is an instance of interface window and the other GUI element is displayed on the computer screen and the GUI element is not equal to the other GUI element, then the other GUI element has state GUE covered state or the other GUI element has state GUE partially covered state or the other GUI element has state GUE offscreen state
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1067-1073	If a GUI element is an instance of mouse cursor and another GUI element is an instance of mouse cursor and the GUI element is displayed on a computer screen and the other GUI element is displayed on the computer screen, then the GUI element is equal to the other GUI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1935-1948	If a GUI element is an instance of GUI element and another GUI element is an instance of GUI element and the GUI element is not an instance of interface window and the other GUI element is not an instance of interface window and the GUI element is displayed on a computer screen and the other GUI element is displayed on the computer screen and the GUI element has state GUE active state and the other GUI element has state GUE active state, then the GUI element is a proper part of the other GUI element or the other GUI element is a proper part of the GUI element or the GUI element is equal to the other GUI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1920-1929	If a GUI element is an instance of interface window and another GUI element is an instance of GUI element and the GUI element is displayed on a computer screen and the other GUI element is displayed on the computer screen and the other GUI element is not an instance of interface window and the GUI element has state GUE active state and the other GUI element has state GUE active state, then the other GUI element is a proper part of the GUI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1896-1904	If a GUI element is an instance of interface window and another GUI element is an instance of interface window and the GUI element is displayed on a computer screen and the other GUI element is displayed on the computer screen and the GUI element has state GUE active state and the GUI element has state GUE active state, then the GUI element is equal to the other GUI element
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1964-1972	If an entity_A is an instance of interface window and the entity_P is an instance of interface window and the entity_A is displayed on a computer screen and the entity_P is displayed on the computer screen and the entity_A has state GUE active state and the entity_A is not equal to the entity_P, then the entity_P has state GUE passive state

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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