Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
exclusiveEvent
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 4541-4545
(
domain
exclusiveEvent
1
Experimenting
)
UXExperimentalTerms.kif 4537-4537
(
domain
exclusiveEvent
2
Process
)
UXExperimentalTerms.kif 4539-4539
(
instance
exclusiveEvent
BinaryPredicate
)
UXExperimentalTerms.kif 4533-4533
appearance as argument number 2
(
format
ChineseLanguage
exclusiveEvent
"%1
causes
%2 ")
domainEnglishFormat.kif 3343-3343
(
format
ChineseTraditionalLanguage
exclusiveEvent
"%1
causes
%2 ")
domainEnglishFormat.kif 3342-3342
(
format
EnglishLanguage
exclusiveEvent
"%1
causes
%2")
domainEnglishFormat.kif 3341-3341
(
termFormat
EnglishLanguage
exclusiveEvent
"exclusive")
UXExperimentalTerms.kif 4535-4535
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 4563-4580
(=>
(
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 4551-4561
(=>
(
exclusiveEvent
?EXP ?PROC)
(
successEvent
?EXP ?PROC))
UXExperimentalTerms.kif 4547-4549
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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