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 | productModel の数値 1 引数は 記号文字列 の instance では %n |
(domainSubclass productModel 2 Product) | QoSontology.kif 16-16 | productModel の数値 2 引数は 製品 のsubclass では %n |
(instance productModel AsymmetricRelation) | QoSontology.kif 13-13 | productModel は 非対称関係 の instance では %n |
(subrelation productModel represents) | QoSontology.kif 14-14 | productModel は represents の subrelation では %n |
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 |