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

Formal Language: 



KB Term:  Term intersection
English Word: 

  productModel

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 4243-4243
(format ChineseTraditionalLanguage productModel "%1 是 %2 的 type ") domainEnglishFormat.kif 4242-4242
(format EnglishLanguage productModel "%1 is the type of %2") domainEnglishFormat.kif 4241-4241
(termFormat ChineseLanguage productModel "产品型号") domainEnglishFormat.kif 47559-47559
(termFormat ChineseTraditionalLanguage productModel "產品型號") domainEnglishFormat.kif 47558-47558
(termFormat EnglishLanguage productModel "product model") domainEnglishFormat.kif 47557-47557

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


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


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