Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - hardwareType
hardwareType

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 hardwareType の数値 1 引数は 記号文字列instance では
(domain hardwareType 2 Computer) QoSontology.kif 1132-1132 hardwareType の数値 2 引数は Computerinstance では
(instance hardwareType BinaryRelation) QoSontology.kif 1130-1130 hardwareType2項関係instance では
(subrelation hardwareType represents) QoSontology.kif 1129-1129 hardwareTyperepresentssubrelation では

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


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners