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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InterfaceWindow

Sigma KEE - InterfaceWindow
InterfaceWindow

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1076-1081
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1075-1075 InterfaceWindowGUIElementsubclass

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1082-1082 Cursor 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1084-1084 PopupWindowInterfaceWindowsubclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65034-65034

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2120-2131
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2332-2343
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2347-2354
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 2469-2478
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2451-2460
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2389-2398
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2423-2430
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2416-2421
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2486-2495
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 1896-1904
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1964-1972

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2438-2445
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2361-2365
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2051-2053
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2065-2067
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1776-1781
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2373-2380
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1797-1803
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2407-2412

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2011-2015 ~{ GUIElementstate GUE_NonVisibleState } 或 ~{ 那个 GUIElementstate GUE_ActiveState } 或 ~{ 那个 GUIElementInterfaceWindowinstance }


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