Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
QualifyingEventsFn
Sigma KEE - QualifyingEventsFn
QualifyingEventsFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4204-4206
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4198-4198
The number 1 argument of
Qualifying Factor or Event
is an
instance
of
experimenting
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4196-4196
Qualifying Factor or Event
is an
instance
of
unary function
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4200-4200
The
range
of
Qualifying Factor or Event
is an instance of
collection
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4306-4306
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4305-4305
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4304-4304
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4202-4202
antecedent
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4241-4267
If
a human
is an
instance
of
human
and
a collection
is an
instance
of
collection
and for all
an experimenting
and
a physical
if there exists
a kind of process
such that
the experimenting
is an
instance
of
experimenting
and
the physical
is an
instance
of
process
and
the physical
is a
member
of
events
in
the experimenting
and
the physical
is an
instance
of
a kind of process
and
the human
is
capable
of doing
the kind of process
as a
experiencer
,
then
the physical
is a
member
of
the collection
and
if
another physical
is a
member
of
the collection
,
then
the other physical
is an
instance
of
process
and there exist
another experimenting
and
the other physical
ESS such that
the other experimenting
is an
instance
of
experimenting
and
the other physical
is a
member
of
events
in
the other experimenting
and
the other physical
is an
instance
of
the other physical
ESS and
the human
is
capable
of doing
the other physical
ESS as a
experiencer
,
then all the processes
the human
is
qualified
for is
equal
to
the collection
consequent
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4208-4223
If
an experimenting
is an
instance
of
experimenting
,
then there exists
an entity
_EVENTS such that
the entity
_EVENTS is an
instance
of
collection
and for all
a process
if
the process
is an
instance
of
process
and the
control
in experiment
the experimenting
is
the process
or
the process
is a
process
in
the experimenting
,
then
the process
is a
member
of
the entity
_EVENTS
and
events
in
the experimenting
is
equal
to
the entity
_EVENTS
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4125-4136
If
a web page
is the object of study of
an experimenting
,
then there exist
an agent
,
another agent
and
a process
such that
the agent
is a
member
of
events
in
the experimenting
and
if
the other agent
is an
instance
of
human
and
the process
is an
instance
of
accessing web page
and
the other agent
is an
agent
of
the process
and
the process
end
s up at
the web page
,
then
the agent
experience
s
the other agent
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3998-4003
If
a human
is a
treated
used
in
an experimenting
,
then there exists
an agent
such that
the agent
is a
member
of
events
in
the experimenting
and
the agent
experience
s
the human
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