Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| treatedUser |
| appearance as argument number 1 |
|
| (domain treatedUser 1 Human) | UXExperimentalTerms.kif 3986-3986 | The number 1 argument of treated user is an instance of human |
| (domain treatedUser 2 Experimenting) | UXExperimentalTerms.kif 3988-3988 | The number 2 argument of treated user is an instance of experimenting |
| (documentation treatedUser EnglishLanguage "(treatedUser ?VISITOR ?EXPERIMENT) means that ?VISITOR experienced a Qualifying Event of ?EXPERIMENT.") | UXExperimentalTerms.kif 3990-3991 | The number 2 argument of treated user is an instance of experimenting |
| (instance treatedUser BinaryPredicate) | UXExperimentalTerms.kif 3993-3993 | treated user is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage treatedUser "%1 is a treated used in %2") | domainEnglishFormat.kif 4822-4822 | |
| (format ChineseTraditionalLanguage treatedUser "%1 是個 treated used 在 %2 ") | domainEnglishFormat.kif 4823-4823 | |
| (format ChineseLanguage treatedUser "%1 是个 treated used 在 %2 ") | domainEnglishFormat.kif 4824-4824 | |
| (termFormat EnglishLanguage treatedUser "treated user") | domainEnglishFormat.kif 65998-65998 |
| antecedent |
|
|
| (=> (treatedUser ?VISITOR ?EXPERIMENT) (exists (?EVENT) (and (member ?EVENT (QualifyingEventsFn ?EXPERIMENT)) (experiencer ?VISITOR ?EVENT)))) |
UXExperimentalTerms.kif 3995-4000 | If X is a treated used in Y, then there exists Z such that Z is a member of events in Y and Z experiences X |
| (=> (treatedUser ?VISITOR ?EXPERIMENT) (experimentalSubject ?VISITOR ?EXPERIMENT)) |
UXExperimentalTerms.kif 4002-4004 | If X is a treated used in Y, then Y is a subject in X |
| (=> (and (instance ?EVP Process) (instance ?AGENT AutonomousAgent) (instance ?EXP Experimenting) (treatedUser ?AGENT ?EXP) (experimentalVariableProcess ?EXP ?EVP) (experiencer ?PROC ?AGENT) (experiencer ?EVP ?AGENT) (exclusiveEvent ?EXP ?PROC)) (exists (?EXPERIMENTER) (and (instance ?EXPERIMENTER AutonomousAgent) (experimenter ?EXP ?EXPERIMENTER) (believes ?EXPERIMENTER (modalAttribute (causes ?EVP ?PROC) Likely))))) |
UXExperimentalTerms.kif 4354-4371 | If All of the following hold: (1) X is an instance of process (2) Y is an instance of agent (3) Z is an instance of experimenting (4) Y is a treated used in Z (5) X is a process in Z (6) Y experiences W (7) Y experiences X (8) Z causes W, then there exists V such that V is an instance of agent, V is the experimenter in Z, and V believes the statement X causes W has the modal force of likely |
| consequent |
|
|
| (=> (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 4278-4290 | If X is an instance of experimenting, then there exists ?TREATED_USERS such that ?TREATED_USERS is an instance of collection, Z Z is an instance of human, Z is a treated used in XZ is a member of ?TREATED_USERS, equal the treated users in X, and ?TREATED_USERS |
| (=> (exclusiveEvent ?EXP ?PROC) (exists (?EVP ?AGENT) (and (instance ?EVP Process) (instance ?AGENT AutonomousAgent) (treatedUser ?AGENT ?EXP) (experimentalVariableProcess ?EXP ?EVP) (experiencer ?PROC ?AGENT) (experiencer ?EVP ?AGENT) (earlier (WhenFn ?EVP) (WhenFn ?PROC))))) |
UXExperimentalTerms.kif 4342-4352 | If X causes Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of process (3) W is an instance of agent (4) W is a treated used in X (5) Z is a process in X (6) W experiences Y (7) W experiences Z (8) the time of existence of Z happens earlier than the time of existence of Y |
|