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
(domainSubclass productModel 2 Product) QoSontology.kif 16-16
(instance productModel AsymmetricRelation) QoSontology.kif 13-13
(subrelation productModel represents) QoSontology.kif 14-14

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 47495-47495
(termFormat ChineseTraditionalLanguage productModel "產品型號") domainEnglishFormat.kif 47494-47494
(termFormat EnglishLanguage productModel "product model") domainEnglishFormat.kif 47493-47493

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 3.0 is open source software produced by Articulate Software and its partners