Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  categoryID

 Sigma KEE - categoryID
categoryID

appearance as argument number 1
-------------------------


(documentation categoryID EnglishLanguage "(categoryID ?STRING ?CAT) Associates an Identifer ?STRING to a WebListingCategory ?CAT. They are likely to be unique.") UXExperimentalTerms.kif 166-167
(domain categoryID 1 Identifier) UXExperimentalTerms.kif 163-163 O argumento numero 1 de categoryID e' uma instancia de Identifier
(domain categoryID 2 WebListingCategory) UXExperimentalTerms.kif 164-164 O argumento numero 2 de categoryID e' uma instancia de WebListingCategory
(instance categoryID BinaryPredicate) UXExperimentalTerms.kif 162-162 categoryID e' uma instancia de Predicado Binario

appearance as argument number 2
-------------------------


(format ChineseLanguage categoryID "%1 是 对于 %2 的 ID ") domainEnglishFormat.kif 2970-2970
(format ChineseTraditionalLanguage categoryID "%1 是 對於 %2 的 ID ") domainEnglishFormat.kif 2969-2969
(format EnglishLanguage categoryID "%1 is the ID for %2") domainEnglishFormat.kif 2968-2968
(termFormat EnglishLanguage categoryID "category identifier string") UXExperimentalTerms.kif 169-169

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners