exclusiveEvent - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - exclusiveEvent

exclusiveEvent

appearance as argument number 1

(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 4335-4339
(domain exclusiveEvent 1 Experimenting)	UXExperimentalTerms.kif 4331-4331	The number 1 argument of exclusive is an instance of experimenting
(domain exclusiveEvent 2 Process)	UXExperimentalTerms.kif 4333-4333	The number 2 argument of exclusive is an instance of process
(instance exclusiveEvent BinaryPredicate)	UXExperimentalTerms.kif 4327-4327	exclusive is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage exclusiveEvent "%1 causes %2 ")	domainEnglishFormat.kif 3332-3332
(format ChineseTraditionalLanguage exclusiveEvent "%1 causes %2 ")	domainEnglishFormat.kif 3331-3331
(format EnglishLanguage exclusiveEvent "%1 causes %2")	domainEnglishFormat.kif 3330-3330
(termFormat EnglishLanguage exclusiveEvent "exclusive")	UXExperimentalTerms.kif 4329-4329

antecedent

(=> (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 4357-4374	If a process is an instance of process and a human is an instance of agent and an experimenting is an instance of experimenting and the human is a treated used in the experimenting and the process is a process in the experimenting and the human experiences another process and the human experiences the process and the experimenting causes the other process, then there exists the experimentingERIMENTER such that the experimentingERIMENTER is an instance of agent and the experimentingERIMENTER is the experimenter in the experimenting and the experimentingERIMENTER believes the statement the process causes the other process has the modal force of likely
(=> (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 4345-4355	If an experimenting causes a process, then there exist another process and a human such that the other process is an instance of process and the human is an instance of agent and the human is a treated used in the experimenting and the other process is a process in the experimenting and the human experiences the process and the human experiences the other process and the time of existence of the other process happens earlier than the time of existence of the process
(=> (exclusiveEvent ?EXP ?PROC) (successEvent ?EXP ?PROC))	UXExperimentalTerms.kif 4341-4343	If an experimenting causes a process, then the success event of the experimenting is the process

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