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

Formal Language: 



KB Term:  Term intersection
English Word: 

  experimentID

 Sigma KEE - experimentID
experimentID

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


(documentation experimentID EnglishLanguage "(experimentID ?STRING ?EXP) Associates an Identifer ?STRING to a Experimenting ?EXP. They are likely to be unique.") UXExperimentalTerms.kif 4019-4020
(domain experimentID 1 Identifier) UXExperimentalTerms.kif 4015-4015 Il numero 1 argomenti di experimentID è un istanza di Identifier
(domain experimentID 2 Experimenting) UXExperimentalTerms.kif 4017-4017 Il numero 2 argomenti di experimentID è un istanza di Experimenting
(instance experimentID BinaryPredicate) UXExperimentalTerms.kif 4013-4013 experimentID è un' istanza di PredicatoBinario

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


(format ChineseLanguage experimentID "%2 的 ID 是 %1 ") domainEnglishFormat.kif 3378-3378
(format ChineseTraditionalLanguage experimentID "%2 的 ID 是 %1 ") domainEnglishFormat.kif 3377-3377
(format EnglishLanguage experimentID "the ID of %2 is %1") domainEnglishFormat.kif 3376-3376
(termFormat EnglishLanguage experimentID "experiment identifier string") UXExperimentalTerms.kif 4022-4022

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