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


KB Term:  Term intersection
English Word: 

Sigma KEE - experimentUpdate
experimentUpdate

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


(instance experimentUpdate BinaryPredicate) UXExperimentalTerms.kif 2670-2670 live experiment update is an instance of binary predicate
(domain experimentUpdate 1 ContentBearingPhysical) UXExperimentalTerms.kif 2672-2672 The number 1 argument of live experiment update is an instance of content bearing physical
(domain experimentUpdate 2 Experimenting) UXExperimentalTerms.kif 2674-2674 The number 2 argument of live experiment update is an instance of experimenting
(documentation experimentUpdate EnglishLanguage "A BinaryPredicate used to convey that a ContentBearingPhysical conveys an update of an instance of Experimenting in progress.") UXExperimentalTerms.kif 2676-2677 The number 2 argument of live experiment update is an instance of experimenting

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


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

antecedent
-------------------------


(=>
    (experimentUpdate ?CBP ?EXP)
    (refers ?CBP ?EXP))
UXExperimentalTerms.kif 2681-2683 If X is an update of Y, then X includes a reference to Y


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners