TreeView Knowledge Base Browser

appearance as argument number 1

(documentation hardwareType EnglishLanguage "(hardwareType ?TYPE ?COMPUTER) means that TYPE represents the computer vendor model name, as well as the version of the product.")	QoSontology.kif 1133-1135
(domain hardwareType 1 SymbolicString)	QoSontology.kif 1131-1131	The number 1 argument of hardware type is an instance of symbolic string
(domain hardwareType 2 Computer)	QoSontology.kif 1132-1132	The number 2 argument of hardware type is an instance of computer
(instance hardwareType BinaryRelation)	QoSontology.kif 1130-1130	hardware type is an instance of binary relation
(subrelation hardwareType represents)	QoSontology.kif 1129-1129	hardware type is a subrelation of represents

appearance as argument number 2

(format ChineseLanguage hardwareType "%1 是 %2 的 type ")	domainEnglishFormat.kif 3596-3596
(format ChineseTraditionalLanguage hardwareType "%1 是 %2 的 type ")	domainEnglishFormat.kif 3595-3595
(format EnglishLanguage hardwareType "%1 is the type of %2")	domainEnglishFormat.kif 3594-3594
(termFormat ChineseLanguage hardwareType "硬件类型")	domainEnglishFormat.kif 27461-27461
(termFormat ChineseTraditionalLanguage hardwareType "硬件類型")	domainEnglishFormat.kif 27460-27460
(termFormat EnglishLanguage hardwareType "hardware type")	domainEnglishFormat.kif 27459-27459