| 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 1022-1024 | |
| (domain hardwareType 1 SymbolicString) | QoSontology.kif 1020-1020 | domain hardwareType, 1 and SymbolicString |
| (domain hardwareType 2 Computer) | QoSontology.kif 1021-1021 | domain hardwareType, 2 and Computer |
| (instance hardwareType BinaryRelation) | QoSontology.kif 1019-1019 | instance hardwareType and BinaryRelation |
| (subrelation hardwareType represents) | QoSontology.kif 1018-1018 | subrelation hardwareType and represents |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage hardwareType "%1 是 %2 的 type ") | domainEnglishFormat.kif 3599-3599 | |
| (format ChineseTraditionalLanguage hardwareType "%1 是 %2 的 type ") | domainEnglishFormat.kif 3598-3598 | |
| (format EnglishLanguage hardwareType "%1 is the type of %2") | domainEnglishFormat.kif 3597-3597 | |
| (termFormat ChineseLanguage hardwareType "硬件类型") | domainEnglishFormat.kif 27379-27379 | termFormat ChineseLanguage, hardwareType and "硬件类型" |
| (termFormat ChineseTraditionalLanguage hardwareType "硬件類型") | domainEnglishFormat.kif 27378-27378 | termFormat ChineseTraditionalLanguage, hardwareType and "硬件類型" |
| (termFormat EnglishLanguage hardwareType "hardware type") | domainEnglishFormat.kif 27377-27377 | termFormat EnglishLanguage, hardwareType and "hardware type" |
| antecedent |
|
|
| (=> (and (hardwareType ?Type ?Computer) (productModel ?Model ?Computer)) (subsumesContentInstance ?Type ?Model)) |
QoSontology.kif 1026-1030 | |
| (=> (and (hardwareType ?Type ?Computer) (version ?Version ?Computer)) (subsumesContentInstance ?Type ?Version)) |
QoSontology.kif 1032-1036 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners