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

Formal Language: 



KB Term:  Term intersection
English Word: 

  hardwareType

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 1022-1024
(domain hardwareType 1 SymbolicString) QoSontology.kif 1020-1020 The number 1 argument of hardware type is an instance of symbolic string
(domain hardwareType 2 Computer) QoSontology.kif 1021-1021 The number 2 argument of hardware type is an instance of computer
(instance hardwareType BinaryRelation) QoSontology.kif 1019-1019 hardware type is an instance of binary relation
(subrelation hardwareType represents) QoSontology.kif 1018-1018 hardware type is a subrelation of represents

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


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

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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