treatedUser - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - treatedUser

treatedUser

appearance as argument number 1

(documentation treatedUser EnglishLanguage "(treatedUser ?VISITOR ?EXPERIMENT) means that ?VISITOR experienced a Qualifying Event of ?EXPERIMENT.")	UXExperimentalTerms.kif 4195-4196
(domain treatedUser 1 Human)	UXExperimentalTerms.kif 4191-4191	domain treatedUser, 1 and Human
(domain treatedUser 2 Experimenting)	UXExperimentalTerms.kif 4193-4193	domain treatedUser, 2 and Experimenting
(instance treatedUser BinaryPredicate)	UXExperimentalTerms.kif 4198-4198	instance treatedUser and BinaryPredicate

appearance as argument number 2

(format ChineseLanguage treatedUser "%1 是个 treated used 在 %2 ")	domainEnglishFormat.kif 4823-4823
(format ChineseTraditionalLanguage treatedUser "%1 是個 treated used 在 %2 ")	domainEnglishFormat.kif 4822-4822
(format EnglishLanguage treatedUser "%1 is a treated used in %2")	domainEnglishFormat.kif 4821-4821

antecedent

(=> (and (instance ?EVP Process) (instance ?AGENT Agent) (instance ?EXP Experimenting) (treatedUser ?AGENT ?EXP) (experimentalVariableProcess ?EXP ?EVP) (experiencer ?PROC ?AGENT) (experiencer ?EVP ?AGENT) (exclusiveEvent ?EXP ?PROC)) (exists (?EXPERIMENTER) (and (instance ?EXPERIMENTER Agent) (experimenter ?EXP ?EXPERIMENTER) (believes ?EXPERIMENTER (modalAttribute (causes ?EVP ?PROC) Likely)))))	UXExperimentalTerms.kif 4558-4575	instance Process and Process instance Human and Agent instance Experimenting and Experimenting treatedUser Human and Experimenting experimentalVariableProcess Experimenting and Process experiencer Process and Human experiencer Process and Human exclusiveEvent Experimenting and Process ExperimentingERIMENTER instance ExperimentingERIMENTER and Agent experimenter Experimenting and ExperimentingERIMENTER believes ExperimentingERIMENTER and modalAttribute causes Process and Process and Likely
(=> (treatedUser ?VISITOR ?EXPERIMENT) (exists (?EVENT) (and (member ?EVENT (QualifyingEventsFn ?EXPERIMENT)) (experiencer ?VISITOR ?EVENT))))	UXExperimentalTerms.kif 4200-4205	treatedUser Human and Experimenting Agent member Agent and QualifyingEventsFn Experimenting experiencer Human and Agent
(=> (treatedUser ?VISITOR ?EXPERIMENT) (experimentalSubject ?VISITOR ?EXPERIMENT))	UXExperimentalTerms.kif 4207-4209	treatedUser Human and Human experimentalSubject Human and Human

consequent

(=> (exclusiveEvent ?EXP ?PROC) (exists (?EVP ?AGENT) (and (instance ?EVP Process) (instance ?AGENT Agent) (treatedUser ?AGENT ?EXP) (experimentalVariableProcess ?EXP ?EVP) (experiencer ?PROC ?AGENT) (experiencer ?EVP ?AGENT) (earlier (WhenFn ?EVP) (WhenFn ?PROC)))))	UXExperimentalTerms.kif 4546-4556	exclusiveEvent Experimenting and Process Process Human instance Process and Process instance Human and Agent treatedUser Human and Experimenting experimentalVariableProcess Experimenting and Process experiencer Process and Human experiencer Process and Human earlier WhenFn Process and WhenFn Process
(=> (instance ?EXPERIMENT Experimenting) (exists (?TREATED_USERS) (and (instance ?TREATED_USERS Collection) (forall (?USER) (=> (and (instance ?USER Human) (treatedUser ?USER ?EXPERIMENT)) (member ?USER ?TREATED_USERS))) (equal (TreatedUsersFn ?EXPERIMENT) ?TREATED_USERS))))	UXExperimentalTerms.kif 4482-4494	instance Experimenting and Experimenting entity_USERS instance entity_USERS and Collection Human instance Human and Human treatedUser Human and Experimenting member Human and entity_USERS equal TreatedUsersFn Experimenting and entity_USERS

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners