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 Il numero 1 argomenti di categoryID è un istanza di Identifier
(domain categoryID 2 WebListingCategory) UXExperimentalTerms.kif 164-164 Il numero 2 argomenti di categoryID è un istanza di WebListingCategory
(instance categoryID BinaryPredicate) UXExperimentalTerms.kif 162-162 categoryID è un' istanza di PredicatoBinario

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