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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - hasGUEState
hasGUEState

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1885-1886
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 1884-1884 The number 2 argument of has GUE state is an instance of GU element state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1881-1881 has GUE state is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1882-1882 has GUE state is a subrelation of attribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3610-3610
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3609-3609
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3608-3608
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65847-65847

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 2104-2108
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 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 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
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 2096-2100

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


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 2104-2108
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 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 1909-1915
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 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 2203-2210
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2215-2222
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 1964-1972
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2529-2537
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2547-2549
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2574-2577
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2582-2588
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2641-2644
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2649-2655
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2096-2100
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1990-1992

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2011-2015 ~{ A GUI element has state GUE non visible state } or ~{ the GUI element has state GUE active state } or ~{ the GUI element is an instance of interface window }
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2226-2229 ~{ A GUI element is an instance of cursor } or ~{ the GUI element has state GUE selected state }
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1952-1955 ~{ A GUI element is an instance of mouse cursor } or ~{ the GUI element has state GUE active 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