TreeView Knowledge Base Browser

appearance as argument number 1

(disjoint ComputerMenu ScrollBar)	ComputerInput.kif 951-951	ComputerMenu ist dijunkt von ScrollBar %n{nicht}
(documentation ComputerMenu EnglishLanguage "A ComputerMenu is an image generated by a computer program of a set of choices tha a user has for interacting with that program in conjunction with a method for the user to input a selection to the program.")	ComputerInput.kif 847-849	ComputerMenu ist dijunkt von ScrollBar %n{nicht}
(partTypes ComputerMenu ComputerMenuItem)	ComputerInput.kif 1134-1134	partTypes ComputerMenu and ComputerMenuItem
(subclass ComputerMenu UIElement)	ComputerInput.kif 846-846	ComputerMenu ist eine teilkategorie von UIElement

appearance as argument number 2

(disjoint GUISliderIndicator ComputerMenu)	ComputerInput.kif 1042-1042	GUISliderIndicator ist dijunkt von ComputerMenu %n{nicht}
(disjoint ScrollBarArrowButton ComputerMenu)	ComputerInput.kif 988-988	ScrollBarArrowButton ist dijunkt von ComputerMenu %n{nicht}
(disjoint ScrollBarBar ComputerMenu)	ComputerInput.kif 977-977	ScrollBarBar ist dijunkt von ComputerMenu %n{nicht}
(disjoint TextBox ComputerMenu)	ComputerInput.kif 1104-1104	TextBox ist dijunkt von ComputerMenu %n{nicht}
(partTypes ComputerMenuItem ComputerMenu)	ComputerInput.kif 1133-1133	partTypes ComputerMenuItem and ComputerMenu
(subclass GraphicalComputerMenu ComputerMenu)	ComputerInput.kif 885-885	GraphicalComputerMenu ist eine teilkategorie von ComputerMenu
(subclass TextualComputerMenu ComputerMenu)	ComputerInput.kif 857-857	TextualComputerMenu ist eine teilkategorie von ComputerMenu
(termFormat EnglishLanguage ComputerMenu "computer menu")	domainEnglishFormat.kif 64705-64705	TextualComputerMenu ist eine teilkategorie von ComputerMenu

appearance as argument number 3

(domain accessibleFromMenu 2 ComputerMenu)

ComputerInput.kif 853-853

Die Zahl 2 Argument von accessibleFromMenu ist ein fall von ComputerMenu %n{nicht}

consequent

(=>
    (and
        (instance ?SELECT SelectingComputerSubmenu)
        (patient ?SELECT ?SUBMENU)
        (instance ?SUBMENU GUIElement))
    (instance ?SUBMENU ComputerMenu))

ComputerInput.kif 2283-2288

Wenn Process ist ein fall von SelectingComputerSubmenu %n{nicht} und Entity ist ein patient von ** Process %n{nicht} und ** Entity ist ein fall von GUIElement %n{nicht},
dann ** Entity ist ein fall von ComputerMenu %n{nicht}