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 1024-1026
(domain hardwareType 1 SymbolicString)	QoSontology.kif 1022-1022
(domain hardwareType 2 Computer)	QoSontology.kif 1023-1023
(instance hardwareType BinaryRelation)	QoSontology.kif 1021-1021
(subrelation hardwareType represents)	QoSontology.kif 1020-1020

appearance as argument number 2

(format ChineseLanguage hardwareType "%1 是 %2 的 type ")	domainEnglishFormat.kif 3592-3592
(format ChineseTraditionalLanguage hardwareType "%1 是 %2 的 type ")	domainEnglishFormat.kif 3591-3591
(format EnglishLanguage hardwareType "%1 is the type of %2")	domainEnglishFormat.kif 3590-3590
(termFormat ChineseLanguage hardwareType "硬件类型")	domainEnglishFormat.kif 27484-27484
(termFormat ChineseTraditionalLanguage hardwareType "硬件類型")	domainEnglishFormat.kif 27483-27483
(termFormat EnglishLanguage hardwareType "hardware type")	domainEnglishFormat.kif 27482-27482