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 4238-4238
(format ChineseTraditionalLanguage productModel "%1 是 %2 的 type ") domainEnglishFormat.kif 4237-4237
(format EnglishLanguage productModel "%1 is the type of %2") domainEnglishFormat.kif 4236-4236
(termFormat ChineseLanguage productModel "产品型号") domainEnglishFormat.kif 47576-47576
(termFormat ChineseTraditionalLanguage productModel "產品型號") domainEnglishFormat.kif 47575-47575
(termFormat EnglishLanguage productModel "product model") domainEnglishFormat.kif 47574-47574


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