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 | Le nombre 2 argument de catalogItem est une instance de Catalog |
(domainSubclass catalogItem 1 Entity) | Catalog.kif 48-48 | Le nombre 1 argument de catalogItem est une sous-classe de entit� |
(instance catalogItem BinaryPredicate) | Catalog.kif 44-44 | catalogItem est une instance de pr�dicat binaire |
(instance catalogItem PartialValuedRelation) | Catalog.kif 45-45 | catalogItem est une instance de relation partielle |
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 |