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

Formal Language: 



KB Term:  Term intersection
English Word: 

  experimentUpdate

Sigma KEE - experimentUpdate
experimentUpdate

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


(documentation experimentUpdate EnglishLanguage "A BinaryPredicate used to convey that a ContentBearingPhysical conveys an update of an instance of Experimenting in progress.") UXExperimentalTerms.kif 2675-2676
(domain experimentUpdate 1 ContentBearingPhysical) UXExperimentalTerms.kif 2671-2671 Le nombre 1 argument de experimentUpdate est une instance de ContentBearingPhysical
(domain experimentUpdate 2 Experimenting) UXExperimentalTerms.kif 2673-2673 Le nombre 2 argument de experimentUpdate est une instance de Experimenting
(instance experimentUpdate BinaryPredicate) UXExperimentalTerms.kif 2669-2669 experimentUpdate est une instance de pr�dicat binaire

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


(format ChineseLanguage experimentUpdate "%1 是 %2 的 update ") domainEnglishFormat.kif 3382-3382
(format ChineseTraditionalLanguage experimentUpdate "%1 是 %2 的 update ") domainEnglishFormat.kif 3381-3381
(format EnglishLanguage experimentUpdate "%1 is an update of %2") domainEnglishFormat.kif 3380-3380
(termFormat EnglishLanguage experimentUpdate "live experiment update") UXExperimentalTerms.kif 2678-2678

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