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 4197-4198
(domain treatedUser 1 Human)	UXExperimentalTerms.kif 4193-4193	domain treatedUser, 1 and Human
(domain treatedUser 2 Experimenting)	UXExperimentalTerms.kif 4195-4195	domain treatedUser, 2 and Experimenting
(instance treatedUser BinaryPredicate)	UXExperimentalTerms.kif 4200-4200	instance treatedUser and BinaryPredicate

appearance as argument number 2

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

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 4560-4577	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 4202-4207	treatedUser Human and Experimenting Agent member Agent and QualifyingEventsFn Experimenting experiencer Human and Agent
(=> (treatedUser ?VISITOR ?EXPERIMENT) (experimentalSubject ?VISITOR ?EXPERIMENT))	UXExperimentalTerms.kif 4209-4211	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 4548-4558	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 4484-4496	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 3.0 is open source software produced by Articulate Software and its partners