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 | O argumento numero 1 de productModel e' uma instancia de Sequencia Simbolica |
(domainSubclass productModel 2 Product) | QoSontology.kif 16-16 | O argumento numero 2 de productModel e' uma sub-classe de Produto |
(instance productModel AsymmetricRelation) | QoSontology.kif 13-13 | productModel e' uma instancia de Relacao Assimetrica |
(subrelation productModel represents) | QoSontology.kif 14-14 | productModel e' uma sub-relacao de 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 47578-47578 | |
(termFormat ChineseTraditionalLanguage productModel "產品型號") | domainEnglishFormat.kif 47577-47577 | |
(termFormat EnglishLanguage productModel "product model") | domainEnglishFormat.kif 47576-47576 |