categoryOf |
appearance as argument number 1 |
(documentation categoryOf EnglishLanguage "A BinaryPredicate which relates a WeblistingCategory to a WebSite that uses that category to organize its listings.") | UXExperimentalTerms.kif 180-181 | |
(domain categoryOf 1 WebListingCategory) | UXExperimentalTerms.kif 176-176 | O argumento numero 1 de categoryOf e' uma instancia de WebListingCategory |
(domain categoryOf 2 WebSite) | UXExperimentalTerms.kif 177-177 | O argumento numero 2 de categoryOf e' uma instancia de WebSite |
(instance categoryOf BinaryPredicate) | UXExperimentalTerms.kif 175-175 | categoryOf e' uma instancia de Predicado Binario |
appearance as argument number 2 |
(format ChineseLanguage categoryOf "%2 includes 类别 %1 ") | domainEnglishFormat.kif 2974-2974 | |
(format ChineseTraditionalLanguage categoryOf "%2 includes 類別 %1 ") | domainEnglishFormat.kif 2973-2973 | |
(format EnglishLanguage categoryOf "%2 includes the category %1") | domainEnglishFormat.kif 2972-2972 | |
(termFormat EnglishLanguage categoryOf "category of") | UXExperimentalTerms.kif 178-178 |