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 The number 1 argument of live experiment update is an instance of content bearing physical
(domain experimentUpdate 2 Experimenting) UXExperimentalTerms.kif 2673-2673 The number 2 argument of live experiment update is an instance of experimenting
(instance experimentUpdate BinaryPredicate) UXExperimentalTerms.kif 2669-2669 live experiment update is an instance of binary predicate

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