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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - productModel
productModel

appearance as argument number 1
-------------------------


(documentation productModel EnglishLanguage "(productModel ?Model ?Product) means that ?Model represents the type of the Product ?Product") QoSontology.kif 17-18
(domain productModel 1 SymbolicString) QoSontology.kif 15-15 The number 1 argument of product model is an instance of symbolic string
(domainSubclass productModel 2 Product) QoSontology.kif 16-16 The number 2 argument of product model is a subclass of product
(instance productModel AsymmetricRelation) QoSontology.kif 13-13 product model is an instance of asymmetric relation
(subrelation productModel represents) QoSontology.kif 14-14 product model is a subrelation of represents

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


(format ChineseLanguage productModel "%1 是 %2 的 type ") domainEnglishFormat.kif 4239-4239
(format ChineseTraditionalLanguage productModel "%1 是 %2 的 type ") domainEnglishFormat.kif 4238-4238
(format EnglishLanguage productModel "%1 is the type of %2") domainEnglishFormat.kif 4237-4237
(termFormat ChineseLanguage productModel "产品型号") domainEnglishFormat.kif 47515-47515 "产品型号" is the printable form of product model in ChineseLanguage
(termFormat ChineseTraditionalLanguage productModel "產品型號") domainEnglishFormat.kif 47514-47514 "產品型號" is the printable form of product model in ChineseTraditionalLanguage
(termFormat EnglishLanguage productModel "product model") domainEnglishFormat.kif 47513-47513 "product model" is the printable form of product model in english language

antecedent
-------------------------


(=>
    (and
        (hardwareType ?Type ?Computer)
        (productModel ?Model ?Computer))
    (subsumesContentInstance ?Type ?Model))
QoSontology.kif 1026-1030


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