Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| exclusiveEvent |
| appearance as argument number 1 |
|
| (instance exclusiveEvent BinaryPredicate) | UXExperimentalTerms.kif 4324-4324 | exclusive is an instance of binary predicate |
| (domain exclusiveEvent 1 Experimenting) | UXExperimentalTerms.kif 4328-4328 | The number 1 argument of exclusive is an instance of experimenting |
| (domain exclusiveEvent 2 Process) | UXExperimentalTerms.kif 4330-4330 | The number 2 argument of exclusive is an instance of process |
| (documentation exclusiveEvent EnglishLanguage "(exclusiveEvent ?EXP ?PROC) specifies that Process ?PROC is a SuccessEvent of Experimenting ?EXP and that it occurs after an ExperimentalVariableProcess where a treatedUser of ?EXP is an experiencer of ?PROC and that experimentalVariableProcess. Further, some experimenter believes it Likely that the experimentalVariableProcess was in some part responsible for causing ?PROC.") | UXExperimentalTerms.kif 4332-4336 | The number 2 argument of exclusive is an instance of process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (exclusiveEvent ?EXP ?PROC) (successEvent ?EXP ?PROC)) |
UXExperimentalTerms.kif 4338-4340 | If X causes Y, then the success event of X is Y |
| (=> (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 |
| (=> (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 |
|