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 1024-1026
(domain hardwareType 1 SymbolicString) QoSontology.kif 1022-1022 硬件类型 的 1 数量 是 符号串instance
(domain hardwareType 2 Computer) QoSontology.kif 1023-1023 硬件类型 的 2 数量 是 电脑instance
(instance hardwareType BinaryRelation) QoSontology.kif 1021-1021 硬件类型二元关系instance
(subrelation hardwareType represents) QoSontology.kif 1020-1020 硬件类型表示subrelation

appearance as argument number 2
-------------------------


(format ChineseLanguage hardwareType "%1 是 %2 的 type ") domainEnglishFormat.kif 3602-3602
(format ChineseTraditionalLanguage hardwareType "%1 是 %2 的 type ") domainEnglishFormat.kif 3601-3601
(format EnglishLanguage hardwareType "%1 is the type of %2") domainEnglishFormat.kif 3600-3600
(termFormat ChineseLanguage hardwareType "硬件类型") domainEnglishFormat.kif 27440-27440
(termFormat ChineseTraditionalLanguage hardwareType "硬件類型") domainEnglishFormat.kif 27439-27439
(termFormat EnglishLanguage hardwareType "hardware type") domainEnglishFormat.kif 27438-27438


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