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 | Il numero 2 argomenti di catalogItem è un istanza di Catalog |
(domainSubclass catalogItem 1 Entity) | Catalog.kif 48-48 | Il numero 1 argomento catalogItem è una sottoclasse diEntit� |
(instance catalogItem BinaryPredicate) | Catalog.kif 44-44 | catalogItem è un' istanza di PredicatoBinario |
(instance catalogItem PartialValuedRelation) | Catalog.kif 45-45 | catalogItem è un' istanza di RelazioneAValoreParziale |
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 |