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 O argumento numero 1 de experimentID e' uma instancia de Identifier
(domain experimentID 2 Experimenting) UXExperimentalTerms.kif 4017-4017 O argumento numero 2 de experimentID e' uma instancia de Experimenting
(instance experimentID BinaryPredicate) UXExperimentalTerms.kif 4013-4013 experimentID e' uma instancia de Predicado Binario

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