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 | Die Zahl 2 Argument von catalogItem ist ein fall von Catalog %n{nicht} |
(domainSubclass catalogItem 1 Entity) | Catalog.kif 48-48 | Die Zahl 1 Argument von catalogItem ist eine teilkategorie von Entity %n{nicht} |
(instance catalogItem BinaryPredicate) | Catalog.kif 44-44 | catalogItem ist ein fall von BinaryPredicate %n{nicht} |
(instance catalogItem PartialValuedRelation) | Catalog.kif 45-45 | catalogItem ist ein fall von PartialValuedRelation %n{nicht} |
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 |