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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2880-2881
(domain experimentUpdate 1 ContentBearingPhysical) UXExperimentalTerms.kif 2876-2876 domain experimentUpdate, 1 and ContentBearingPhysical
(domain experimentUpdate 2 Experimenting) UXExperimentalTerms.kif 2878-2878 domain experimentUpdate, 2 and Experimenting
(instance experimentUpdate BinaryPredicate) UXExperimentalTerms.kif 2874-2874 instance experimentUpdate and BinaryPredicate

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


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

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


(=>
    (experimentUpdate ?CBP ?EXP)
    (refers ?CBP ?EXP))
UXExperimentalTerms.kif 2885-2887


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 is open source software produced by Articulate Software and its partners