catalogItem |
appearance as argument number 1 |
(documentation catalogItem EnglishLanguage "(catalogItem ?OBJ ?CATALOG) means that an instance of ?OBJ is a member of ?CATALOG") | Catalog.kif 46-47 | |
(domain catalogItem 2 Catalog) | Catalog.kif 49-49 | catalogItem の数値 2 引数は Catalog の instance では %n |
(domainSubclass catalogItem 1 Entity) | Catalog.kif 48-48 | catalogItem の数値 1 引数は エンティティー のsubclass では %n |
(instance catalogItem BinaryPredicate) | Catalog.kif 44-44 | catalogItem は 2進述語 の instance では %n |
(instance catalogItem PartialValuedRelation) | Catalog.kif 45-45 | catalogItem は 部分的価値関係 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage catalogItem "%1 是在 %2 ") | domainEnglishFormat.kif 2966-2966 | |
(format ChineseTraditionalLanguage catalogItem "%1 是在 %2 ") | domainEnglishFormat.kif 2965-2965 | |
(format EnglishLanguage catalogItem "%1 is in %2") | domainEnglishFormat.kif 2964-2964 | |
(termFormat EnglishLanguage catalogItem "catalog item") | domainEnglishFormat.kif 65790-65790 |
antecedent |