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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GUE_NonVisibleState
GUE_NonVisibleState

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2017-2017 GUE_NonVisibleState 是 GUE_DisplayedState 的相反
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1996-1997
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1994-1994 GUE_NonVisibleState 是 GUElementState 的 instance
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1995-1995 GUE_NonVisibleState 是 GUE_PassiveState 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2074-2074 GUE_CoveredState 是 GUE_NonVisibleState 的 subAttribute
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2038-2038 GUE_MinimizedState 是 GUE_NonVisibleState 的 subAttribute
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2020-2020 GUE_OffscreenState 是 GUE_NonVisibleState 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64910-64910

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2001-2007

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2001-2007