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
(domain experimentUpdate 2 Experimenting) UXExperimentalTerms.kif 2673-2673
(instance experimentUpdate BinaryPredicate) UXExperimentalTerms.kif 2669-2669

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

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


(=>
    (experimentUpdate ?CBP ?EXP)
    (refers ?CBP ?EXP))
UXExperimentalTerms.kif 2680-2682


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

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