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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 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 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