TreeView Knowledge Base Browser

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	hasGUEState 的 1 数量是 GUIElement 的 instance
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1884-1884	hasGUEState 的 2 数量是 GUElementState 的 instance
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1881-1881	hasGUEState 是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1882-1882	hasGUEState 是属于的 subrelation

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	如果 GUIElement 有 state GUE_UncoveredState 和那个 GUIElement 有 state GUE_MaximizedWindowState 和那个 GUIElement 是 displayed 在 ComputerScreen 和另一个 GUIElement 是 InterfaceWindow 的 instance 和那个另外 GUIElement 是 displayed 在那个 ComputerScreen 和那个 GUIElement 不 equal 那个另外 GUIElement，然后那个另外 GUIElement 有 state GUE_CoveredState 或那个另外 GUIElement 有 state GUE_PartiallyCoveredState 或那个另外 GUIElement 有 state GUE_OffscreenState
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2104-2108	如果 GUIElement 有 state GUE_UncoveredState 和那个 GUIElement 有 state GUE_MaximizedWindowState ，然后那个 GUIElement 有 state GUE_ActiveState
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2332-2343	如果时距是 BringingGEToFront 的 instance 和实体是那个时距的 patient 和那个实体是 InterfaceWindow 的 instance 和那个实体有 state 属性在那个时距的开始 holdsDuring 和那个属性是 GUE_UncoveredState 的相反，然后不那个实体有 state 那个属性在那个时距的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1909-1915	如果 GUIElement 是 GUIElement 的 instance 和那个 GUIElement 有 state GUE_ActiveState 和那个 GUIElement 是另一个 GUIElement 的 properPart 和那个另外 GUIElement 是 GUIElement 的 instance，然后那个另外 GUIElement 有 state GUE_ActiveState
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1935-1948	如果 GUIElement 是 GUIElement 的 instance 和另一个 GUIElement 是 GUIElement 的 instance 和那个 GUIElement 不是 InterfaceWindow 的 instance 和那个另外 GUIElement 不是 InterfaceWindow 的 instance 和那个 GUIElement 是 displayed 在 ComputerScreen 和那个另外 GUIElement 是 displayed 在那个 ComputerScreen 和那个 GUIElement 有 state GUE_ActiveState 和那个另外 GUIElement 有 state GUE_ActiveState ，然后那个 GUIElement 是那个另外 GUIElement 的 properPart 或那个另外 GUIElement 是那个 GUIElement 的 properPart 或那个 GUIElement equal 那个另外 GUIElement
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2082-2088	如果实体_SM 是 GUIElement 的 instance 和那个实体_BIG 是 GUIElement 的 instance 和那个实体_SM 是那个实体_BIG 的 properPart 和那个实体_BIG 有 state GUE_CoveredState ，然后那个实体_SM 有 state GUE_CoveredState
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2001-2007	如果实体_SM 是 GUIElement 的 instance 和那个实体_BIG 是 GUIElement 的 instance 和那个实体_SM 是那个实体_BIG 的 properPart 和那个实体_BIG 有 state GUE_NonVisibleState ，然后那个实体_SM 有 state GUE_NonVisibleState
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2029-2035	如果实体_SM 是 GUIElement 的 instance 和那个实体_BIG 是 GUIElement 的 instance 和那个实体_SM 是那个实体_BIG 的 properPart 和那个实体_BIG 有 state GUE_OffscreenState ，然后那个实体_SM 有 state GUE_OffscreenState
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1977-1983	如果实体_SM 是 GUIElement 的 instance 和那个实体_BIG 是 GUIElement 的 instance 和那个实体_SM 是那个实体_BIG 的 properPart 和那个实体_BIG 有 state GUE_PassiveState ，然后那个实体_SM 有 state GUE_PassiveState
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1920-1929	如果 GUIElement 是 InterfaceWindow 的 instance 和另一个 GUIElement 是 GUIElement 的 instance 和那个 GUIElement 是 displayed 在 ComputerScreen 和那个另外 GUIElement 是 displayed 在那个 ComputerScreen 和那个另外 GUIElement 不是 InterfaceWindow 的 instance 和那个 GUIElement 有 state GUE_ActiveState 和那个另外 GUIElement 有 state GUE_ActiveState ，然后那个另外 GUIElement 是那个 GUIElement 的 properPart
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1896-1904	如果 GUIElement 是 InterfaceWindow 的 instance 和另一个 GUIElement 是 InterfaceWindow 的 instance 和那个 GUIElement 是 displayed 在 ComputerScreen 和那个另外 GUIElement 是 displayed 在那个 ComputerScreen 和那个 GUIElement 有 state GUE_ActiveState 和那个 GUIElement 有 state GUE_ActiveState ，然后那个 GUIElement equal 那个另外 GUIElement
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1964-1972	如果实体_A 是 InterfaceWindow 的 instance 和那个实体_P 是 InterfaceWindow 的 instance 和那个实体_A 是 displayed 在 ComputerScreen 和那个实体_P 是 displayed 在那个 ComputerScreen 和那个实体_A 有 state GUE_ActiveState 和那个实体_A 不 equal 那个实体_P，然后那个实体_P 有 state GUE_PassiveState
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2051-2053	如果 GUIElement 有 state GUE_MaximizedWindowState ，然后那个 GUIElement 是 InterfaceWindow 的 instance
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2065-2067	如果 GUIElement 有 state GUE_VerticallyMaximizedWindowState ，然后那个 GUIElement 是 InterfaceWindow 的 instance
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2096-2100	如果 GUIElement 有 state GUE_UncoveredState ，然后那个 GUIElement 有 state GUE_DisplayedState 或那个 GUIElement 有 state GUE_OffscreenState

consequent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2120-2131	如果 GUIElement 有 state GUE_UncoveredState 和那个 GUIElement 有 state GUE_MaximizedWindowState 和那个 GUIElement 是 displayed 在 ComputerScreen 和另一个 GUIElement 是 InterfaceWindow 的 instance 和那个另外 GUIElement 是 displayed 在那个 ComputerScreen 和那个 GUIElement 不 equal 那个另外 GUIElement，然后那个另外 GUIElement 有 state GUE_CoveredState 或那个另外 GUIElement 有 state GUE_PartiallyCoveredState 或那个另外 GUIElement 有 state GUE_OffscreenState
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2104-2108	如果 GUIElement 有 state GUE_UncoveredState 和那个 GUIElement 有 state GUE_MaximizedWindowState ，然后那个 GUIElement 有 state GUE_ActiveState
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2268-2277	如果时距是 ActivatingUIElement 的 instance 和实体是那个时距的 patient 和那个实体是 GUIElement 的 instance，然后那个实体有 state GUE_ActiveState 在那个时距的结束 holdsDuring 和不那个实体有 state GUE_ActiveState 在那个时距的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2332-2343	如果时距是 BringingGEToFront 的 instance 和实体是那个时距的 patient 和那个实体是 InterfaceWindow 的 instance 和那个实体有 state 属性在那个时距的开始 holdsDuring 和那个属性是 GUE_UncoveredState 的相反，然后不那个实体有 state 那个属性在那个时距的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2347-2354	如果时距是 BringingGEToFront 的 instance 和实体是那个时距的 patient 和那个实体是 InterfaceWindow 的 instance，然后那个实体有 state GUE_UncoveredState 在那个时距的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1909-1915	如果 GUIElement 是 GUIElement 的 instance 和那个 GUIElement 有 state GUE_ActiveState 和那个 GUIElement 是另一个 GUIElement 的 properPart 和那个另外 GUIElement 是 GUIElement 的 instance，然后那个另外 GUIElement 有 state GUE_ActiveState
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2082-2088	如果实体_SM 是 GUIElement 的 instance 和那个实体_BIG 是 GUIElement 的 instance 和那个实体_SM 是那个实体_BIG 的 properPart 和那个实体_BIG 有 state GUE_CoveredState ，然后那个实体_SM 有 state GUE_CoveredState
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2001-2007	如果实体_SM 是 GUIElement 的 instance 和那个实体_BIG 是 GUIElement 的 instance 和那个实体_SM 是那个实体_BIG 的 properPart 和那个实体_BIG 有 state GUE_NonVisibleState ，然后那个实体_SM 有 state GUE_NonVisibleState
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2029-2035	如果实体_SM 是 GUIElement 的 instance 和那个实体_BIG 是 GUIElement 的 instance 和那个实体_SM 是那个实体_BIG 的 properPart 和那个实体_BIG 有 state GUE_OffscreenState ，然后那个实体_SM 有 state GUE_OffscreenState
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1977-1983	如果实体_SM 是 GUIElement 的 instance 和那个实体_BIG 是 GUIElement 的 instance 和那个实体_SM 是那个实体_BIG 的 properPart 和那个实体_BIG 有 state GUE_PassiveState ，然后那个实体_SM 有 state GUE_PassiveState
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2469-2478	如果过程是 MaximizingGraphicalWindow 的 instance 和实体是那个过程的 patient 和那个实体是 InterfaceWindow 的 instance，然后那个实体有 state GUE_MaximizedWindowState 在那个过程出现的 time 的结束 holdsDuring 和不那个实体有 state GUE_MaximizedWindowState 在那个过程出现的 time 的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2451-2460	如果过程是 MinimizingGraphicalWindow 的 instance 和实体是那个过程的 patient 和那个实体是 InterfaceWindow 的 instance，然后那个实体有 state GUE_MinimizedState 在那个过程出现的 time 的结束 holdsDuring 和不那个实体有 state GUE_MinimizedState 在那个过程出现的 time 的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2389-2398	如果过程是 ReopeningGraphicalWindow 的 instance 和实体是那个过程的 patient 和那个实体是 InterfaceWindow 的 instance，然后那个实体有 state GUE_MinimizedState 在那个过程出现的 time 的开始 holdsDuring 和不那个实体有 state GUE_MinimizedState 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2203-2210	如果时距是 SelectingActiveArea 的 instance 和实体是那个时距的 patient 和那个实体是 GUIActiveArea 的 instance，然后不那个实体有 state GUE_SelectedState 在那个时距的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2215-2222	如果时距是 SelectingActiveArea 的 instance 和实体是那个时距的 patient 和那个实体是 GUIActiveArea 的 instance，然后那个实体有 state GUE_SelectedState 在那个时距的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2486-2495	如果过程是 UnmaximizingGraphicalWindow 的 instance 和实体是那个过程的 patient 和那个实体是 InterfaceWindow 的 instance，然后那个实体有 state GUE_MaximizedWindowState 在那个过程出现的 time 的开始 holdsDuring 和不那个实体有 state GUE_MaximizedWindowState 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1964-1972	如果实体_A 是 InterfaceWindow 的 instance 和那个实体_P 是 InterfaceWindow 的 instance 和那个实体_A 是 displayed 在 ComputerScreen 和那个实体_P 是 displayed 在那个 ComputerScreen 和那个实体_A 有 state GUE_ActiveState 和那个实体_A 不 equal 那个实体_P，然后那个实体_P 有 state GUE_PassiveState
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2529-2537	如果 CoveringGUIElement covers GUIElement ，然后那个 GUIElement 有 state GUE_PartiallyCoveredState 或那个 GUIElement 有 state GUE_UncoveredState 在那个 CoveringGUIElement 出现的 time 的开始 holdsDuring 和那个 GUIElement 有 state GUE_CoveredState 在那个 CoveringGUIElement 出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2547-2549	如果实体_BOTTOM 是由那个实体_TOP covered ，然后那个实体_BOTTOM 有 state GUE_CoveredState
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2574-2577	如果 PartiallyCoveringGraphicalWindow partially covers GUIElement ，然后那个 GUIElement 有 state GUE_PartiallyCoveredState 在那个 PartiallyCoveringGraphicalWindow 出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2582-2588	如果 PartiallyCoveringGraphicalWindow partially covers GUIElement ，然后那个 GUIElement 有 state GUE_UncoveredState 在那个 PartiallyCoveringGraphicalWindow 出现的 time 的开始 holdsDuring 或那个 GUIElement 有 state GUE_PartiallyCoveredState 在那个 PartiallyCoveringGraphicalWindow 出现的 time 的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2641-2644	如果 UncoveringGraphicalWindow uncovers GUIElement ，然后那个 GUIElement 有 state GUE_UncoveredState 在那个 UncoveringGraphicalWindow 出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2649-2655	如果 UncoveringGraphicalWindow uncovers GUIElement ，然后那个 GUIElement 有 state GUE_CoveredState 在那个 UncoveringGraphicalWindow 出现的 time 的开始 holdsDuring 或那个 GUIElement 有 state GUE_PartiallyCoveredState 在那个 UncoveringGraphicalWindow 出现的 time 的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2096-2100	如果 GUIElement 有 state GUE_UncoveredState ，然后那个 GUIElement 有 state GUE_DisplayedState 或那个 GUIElement 有 state GUE_OffscreenState
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1990-1992	如果 GUIElement 是 MouseCursor 的 instance，然后那个 GUIElement 有 state GUE_DisplayedState

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	~{ GUIElement 有 state GUE_NonVisibleState } 或 ~{ 那个 GUIElement 有 state GUE_ActiveState } 或 ~{ 那个 GUIElement 是 InterfaceWindow 的 instance }
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2226-2229	~{ GUIElement 是 Cursor 的 instance } 或 ~{ 那个 GUIElement 有 state GUE_SelectedState }
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1952-1955	~{ GUIElement 是 MouseCursor 的 instance } 或 ~{ 那个 GUIElement 有 state GUE_ActiveState }

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

KB Term:			Term intersection

English Word: