TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Software Procedure)	ComputerInput.kif 824-824	Software is a subclass of procedure
(documentation Software EnglishLanguage "A set of instructions in a computer programming language that can be executed by a computer, possibly after compilation into another programming language. The term Software includes ComputerPrograms (free_standing software), object methods, subroutines and software packages.")	ComputerInput.kif 825-828	Software is a subclass of procedure

appearance as argument number 2

(subclass ComputerProgram Software)	ComputerInput.kif 829-829	Computer program is a subclass of software
(subclass SoftwarePackage Software)	ComputerInput.kif 831-831	Software package is a subclass of software
(subclass UserInterface Software)	ComputerInput.kif 849-849	User interface is a subclass of software
(subclass PageModuleServer Software)	UXExperimentalTerms.kif 2001-2001	Page module server is a subclass of software
(termFormat EnglishLanguage Software "software")	domainEnglishFormat.kif 65513-65513	Page module server is a subclass of software