Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
during
Sigma KEE - during
during
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2720-2721
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7796-7797
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7793-7793
The number 1 argument of
during
is an
instance
of
time interval
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7794-7794
The number 2 argument of
during
is an
instance
of
time interval
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7791-7791
during
is an
instance
of
irreflexive relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7790-7790
during
is an
instance
of
transitive relation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 433-433
No TPTP formula. May not be expressible in strict first order.
english_format.kif 442-442
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 434-434
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 20617-20617
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 20616-20616
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 20615-20615
antecedent
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 57-75
If
mausaharati
is an
attribute
of
an agent
and
a time interval
is an
instance
of
drumming
and
the agent
is an
agent
of
the time interval
and
the time interval
AY is an
instance
of
day
and
another time interval
is an
instance
of
sunrise
and
the other time interval
takes place
during
the time interval
and
the time interval
happens
before
the other time interval
,
then
the time interval
purpose there exist
another entity
,
the other time interval
UHUR and
a fourth entity
such that
the fourth entity
is an
instance
of
waking up
and
the other entity
experience
s
the fourth entity
and
the other time interval
UHUR is an
instance
of
suhur
and
the other entity
is an
agent
of
the other time interval
UHUR and
the fourth entity
happens
before
the other time interval
UHUR and
the fourth entity
takes place
during
the time interval
AY and
the other time interval
UHUR takes place
during
the time interval
AY
No TPTP formula. May not be expressible in strict first order.
Cars.kif 803-816
If the damping ratio of
a physical system
is
a real number
and
the real number
is
greater
than 0 and
a time interval
is an
instance
of
tremor
and
the physical system
is a
patient
of
the time interval
and the amplitude
the time interval
is
a quantity
holds
during
the time interval
1 and the amplitude
the time interval
is
another quantity
holds
during
the time interval
2 and
the time interval
1 takes place
during
the time interval
and
the time interval
2 takes place
during
the time interval
and
the time interval
1 happens
earlier
than
the time interval
2,
then
the quantity
is
greater
than
the other quantity
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 28831-28852
If
dieting
is an
attribute
of
an agent
holds
during
a time interval
and
dieting
is not an
attribute
of
the agent
holds
during
another time interval
and
an object
is an
instance
of
meal
and
a process
is an
instance
of
eating
and
the agent
is an
agent
of
the process
and
the object
is a
resource
for
the process
and the
time
of existence of
the process
takes place
during
the time interval
and the
measure
of
the object
is
a real number
calorie
(s) and
another object
is an
instance
of
meal
and
another process
is an
instance
of
eating
and
the agent
is an
agent
of
the other process
and
the other object
is a
resource
for
the other process
and the
time
of existence of
the other process
takes place
during
the other time interval
and the
measure
of
the other object
is
another real number
calorie
(s),
then the statement
the other real number
is
greater
than
the real number
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Media.kif 437-444
If
a time interval
is an
instance
of
EasterSunday
and
another time interval
is an
instance
of
Lent
and
the other time interval
meet
s
the time interval
and
the time interval
takes place
during
a third time interval
and
the third time interval
is an
instance
of
year
,
then
the other time interval
takes place
during
the third time interval
No TPTP formula. May not be expressible in strict first order.
Media.kif 446-453
If
a time interval
is an
instance
of
EasterSunday
and
another time interval
is an
instance
of
Lent
and
the other time interval
meet
s
the time interval
and
the other time interval
takes place
during
a third time interval
and
the third time interval
is an
instance
of
year
,
then
the time interval
takes place
during
the third time interval
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8373-8380
If
a time interval
is an
instance
of
Evening
and
another time interval
is an
instance
of
afternoon
and
a third time interval
is an
instance
of
day
and
the time interval
takes place
during
the third time interval
and
the other time interval
takes place
during
the third time interval
,
then
the other time interval
meet
s
the time interval
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 1700-1722
If
a time interval
is an
instance
of
the time interval
_CLASS and
the time interval
_CLASS is a
subclass
of
process
and
an AccessingWebPage
is an
instance
of
AccessingWebPage
and
an agent
is an
instance
of
agent
and
the agent
is an
agent
of
the time interval
and
the agent
is an
agent
of
the AccessingWebPage
and
the time interval
takes place
during
the AccessingWebPage
and
a physical
is an
instance
of
time interval
and there doesn't exist
the time interval
2 such that
the time interval
2 is an
instance
of
the time interval
_CLASS and
the agent
is an
agent
of
the time interval
2 and
the time interval
2 takes place
during
the AccessingWebPage
and the
beginning
of the
time
of existence of
the time interval
2 happens
before
the
beginning
of the
time
of existence of
the time interval
and the
beginning
of the
time
of existence of
the AccessingWebPage
is
equal
to the
beginning
of the
time
of existence of
the physical
and the
beginning
of the
time
of existence of
the time interval
is
equal
to the
end
of the
time
of existence of
the physical
,
then the
time
of
the AccessingWebPage
in the class
the time interval
_CLASS is
equal
to
the physical
No TPTP formula. May not be expressible in strict first order.
Media.kif 387-394
If
a time interval
is an
instance
of
Advent
and
another time interval
is an
instance
of
ChristmasDay
and
the time interval
takes place
during
a third time interval
and
the third time interval
is an
instance
of
year
and
the time interval
meet
s
the other time interval
,
then
the other time interval
takes place
during
the third time interval
No TPTP formula. May not be expressible in strict first order.
Media.kif 396-403
If
a time interval
is an
instance
of
Advent
and
another time interval
is an
instance
of
ChristmasDay
and
the other time interval
takes place
during
a third time interval
and
the third time interval
is an
instance
of
year
and
the time interval
meet
s
the other time interval
,
then
the time interval
takes place
during
the third time interval
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3871-3906
If
a collection
is an
instance
of
collection
and
another collection
is an
instance
of
collection
and
the other collection
is a proper
sub
-collection of
the collection
and for all
an object
if
the object
is a
member
of
the collection
,
then
the object
is an
instance
of
AccessingWebPage
and for all
a process
,
an agent
,, ,
another object
,, ,
the process
and
a third object
if
the agent
is an
instance
of
human
and
the process
is an
instance
of
buying
and
the other object
is an
instance
of
AccessingWebPage
and
the third object
is an
instance
of
WebPage
and
the other object
is a
member
of
the collection
and
the other object
end
s up at
the third object
and
the agent
is an
agent
of
the process
and
the agent
is an
agent
of
the other object
and the
time
of existence of
the process
takes place
during
the
time
of existence of
the other object
and
the third object
is an
instrument
for
the process
,
then
the process
is a
member
of
the other collection
,
then
purchases
made in
the collection
during
a time interval
is
equal
to the number of
instances
in the
class
described by
an entity
_IN_INTERVAL and the number of
instances
in the
class
described by
another entity
_IN_INTERVAL
No TPTP formula. May not be expressible in strict first order.
Media.kif 538-547
If
a time interval
is an
instance
of
year
and
another time interval
is an
instance
of
EasterSunday
and
a third time interval
is an
instance
of
AscensionThursday
and
the other time interval
takes place
during
the time interval
and
the third time interval
takes place
during
the time interval
and
the other time interval
start
s
a fourth time interval
and
the third time interval
finish
es
the fourth time interval
,
then
duration
of
the fourth time interval
is 40
day duration
(s)
No TPTP formula. May not be expressible in strict first order.
Media.kif 473-482
If
a time interval
is an
instance
of
year
and
another time interval
is an
instance
of
EasterSunday
and
a third time interval
is an
instance
of
PalmSunday
and
the other time interval
takes place
during
the time interval
and
the third time interval
takes place
during
the time interval
and
the third time interval
start
s
a fourth time interval
and
the other time interval
finish
es
the fourth time interval
,
then
duration
of
the fourth time interval
is 8
day duration
(s)
No TPTP formula. May not be expressible in strict first order.
Media.kif 559-568
If
a time interval
is an
instance
of
year
and
another time interval
is an
instance
of
EasterSunday
and
a third time interval
is an
instance
of
Pentecost
and
the other time interval
takes place
during
the time interval
and
the third time interval
takes place
during
the time interval
and
the other time interval
start
s
a fourth time interval
and
the third time interval
finish
es
the fourth time interval
,
then
duration
of
the fourth time interval
is 50
day duration
(s)
No TPTP formula. May not be expressible in strict first order.
Dining.kif 371-382
If the
standard
retail
hours
for
an agent
are
a kind of time interval
and
a cognitive agent
is a
potential
customer
for
the agent
and
a process
is an
instance
of
intentional process
and
the process
end
s up at
the cognitive agent
and
an entity
is an
instance
of the
start
of
the process
and
probability
of the
time
of existence of
the entity
takes place
during
a kind of time interval
provided that
the agent
is an
agent
of
the process
holds is
a real number
and
probability
of the
time
of existence of
the entity
doesn't take place
during
the kind of time interval
provided that
the agent
is an
agent
of
the process
holds is
another real number
,
then
the other real number
is
less
than
the real number
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1452-1468
If the
visibility
at
a region
during
a time interval
is
a length measure
and
the time interval
is an
instance
of
day time
and
a process
is an
instance
of
looking
and
an object
is an
instance
of
object
and
the object
is the
color
black
and
an agent
is an
agent
of
the process
and
the object
is a
patient
of
the process
and
the agent
is
horizontal
to
the object
and
the process
is
located
at
2
and the
time
of existence of
the process
takes place
during
the time interval
and
the object
is an
instance
of
object
,
then the
distance
between
the agent
and
the object
is
another length measure
and
the length measure
is
greater
than
the other length measure
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1470-1487
If the
visibility
at
a region
during
a time interval
is
a length measure
and
the time interval
is an
instance
of
night time
and
a process
is an
instance
of
looking
and
an object
is an
instance
of
region
and
illuminated
is an
attribute
of
the object
and the
measure
of
the object
is 1000
candela
(s) and
an agent
is an
agent
of
the process
and
the object
is a
patient
of
the process
and
the agent
is
horizontal
to
the object
and
the process
is
located
at
2
and the
time
of existence of
the process
takes place
during
the time interval
and
the object
is an
instance
of
object
,
then the
distance
between
the agent
and
the object
is
another length measure
and
the length measure
is
greater
than
the other length measure
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7799-7803
If
a time interval
takes place
during
another time interval
,
then the
end
of
the time interval
happens
before
the
end
of
the other time interval
and the
beginning
of
the other time interval
happens
before
the
beginning
of
the time interval
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7786-7788
If
a time interval
takes place
during
another time interval
,
then
the time interval
is a
part
of
the other time interval
consequent
No TPTP formula. May not be expressible in strict first order.
People.kif 104-117
The
births
per thousand of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if the
population
of
the geopolitical area
and 1000 is
equal
to
a quantity
and
another integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
and
the other integer
and
the quantity
is
equal
to
the real number
No TPTP formula. May not be expressible in strict first order.
People.kif 138-151
The
deaths
per thousand of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if the
population
of
the geopolitical area
and 1000 is
equal
to
a quantity
and
another integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
and
the other integer
and
the quantity
is
equal
to
the real number
No TPTP formula. May not be expressible in strict first order.
People.kif 253-277
The
deaths
per thousand live births of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if
another integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
and
the other integer
and 1000 is
equal
to
a quantity
and
a third integer
is
equal
to the number of
instances
in the
class
described by
another symbolic string
and
the third integer
and
the quantity
is
equal
to
the real number
No TPTP formula. May not be expressible in strict first order.
People.kif 411-442
The
female
life expectancy at birth of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if there exists
a list
such that
the list
is an
instance
of
list
and
length
of
the list
is an
instance
of
another integer
and for all
the list
ITEM
if
the list
ITEM is a
member
of
the list
,
then
the list
ITEM is an
instance
of
a symbolic string
and there doesn't exist
another entity
such that
the other entity
is an
instance
of
the symbolic string
and
the other entity
is not a
member
of
the list
and
the other integer
is
equal
to the number of
instances
in the
class
described by
the symbolic string
and
the real number
is an
average
of
the list
No TPTP formula. May not be expressible in strict first order.
People.kif 323-353
The
life
expectancy at birth of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if there exists
a list
such that
the list
is an
instance
of
list
and
length
of
the list
is an
instance
of
another integer
and for all
the list
ITEM
if
the list
ITEM is a
member
of
the list
,
then
the list
ITEM is an
instance
of
a symbolic string
and there doesn't exist
another entity
such that
the other entity
is an
instance
of
the symbolic string
and
the other entity
is not a
member
of
the list
and
the other integer
is
equal
to the number of
instances
in the
class
described by
the symbolic string
and
the real number
is an
average
of
the list
No TPTP formula. May not be expressible in strict first order.
People.kif 367-398
The
male
life expectancy at birth of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if there exists
a list
such that
the list
is an
instance
of
list
and
length
of
the list
is an
instance
of
another integer
and for all
the list
ITEM
if
the list
ITEM is a
member
of
the list
,
then
the list
ITEM is an
instance
of
a symbolic string
and there doesn't exist
another entity
such that
the other entity
is an
instance
of
the symbolic string
and
the other entity
is not a
member
of
the list
and
the other integer
is
equal
to the number of
instances
in the
class
described by
the symbolic string
and
the real number
is an
average
of
the list
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 28405-28418
Alone
is an
attribute
of
an entity
holds
during
a time interval
if and only if there don't exist
the entity
2 and
a process
such that
the entity
is not
equal
to
the entity
2 and
the entity
2 is an
instance
of
agent
and
the process
is an
instance
of
social interaction
and the
time
of existence of
the process
takes place
during
the time interval
and
the entity
is an
involved
in event of
the process
and
the entity
2 is an
involved
in event of
the process
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 28451-28459
Mute
is an
attribute
of
an agent
holds
during
a time interval
if and only if there doesn't exist
a process
such that
the process
is an
instance
of
speaking
and the
time
of existence of
the process
takes place
during
the time interval
and
the agent
is an
agent
of
the process
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 57-75
If
mausaharati
is an
attribute
of
an agent
and
a time interval
is an
instance
of
drumming
and
the agent
is an
agent
of
the time interval
and
the time interval
AY is an
instance
of
day
and
another time interval
is an
instance
of
sunrise
and
the other time interval
takes place
during
the time interval
and
the time interval
happens
before
the other time interval
,
then
the time interval
purpose there exist
another entity
,
the other time interval
UHUR and
a fourth entity
such that
the fourth entity
is an
instance
of
waking up
and
the other entity
experience
s
the fourth entity
and
the other time interval
UHUR is an
instance
of
suhur
and
the other entity
is an
agent
of
the other time interval
UHUR and
the fourth entity
happens
before
the other time interval
UHUR and
the fourth entity
takes place
during
the time interval
AY and
the other time interval
UHUR takes place
during
the time interval
AY
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 193-210
If
muslim
is an
attribute
of
an agent
and
value
of belongings of
the agent
is
equal
to
a currency measure
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
zakat
and
a third entity
is an
instance
of
year
and
the third entity
takes place
during
the
time
of existence of
the agent
and
fully formed
is an
attribute
of
the agent
holds
during
the third entity
and
the agent
is an
agent
of
the entity
and
the other entity
is a
patient
of
the entity
and
value
of
the other entity
is
a fourth entity
and
the fourth entity
is
greater
than
the currency measure
and 0.025 has the
modal
force
of
obligation
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3737-3746
If
a collection
are
first
time
buyers
on
a WebSite
during
a time interval
and
an agent
is a
member
of
the collection
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
buying
and
the agent
is an
agent
of
the financial transaction
and
the WebSite
facilitates
the financial transaction
and the
time
of existence of
the financial transaction
takes place
during
the time interval
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3785-3794
If
a collection
are
first
time
sellers
on
a WebSite
during
a time interval
and
an agent
is a
member
of
the collection
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
selling
and
the agent
is an
agent
of
the financial transaction
and
the WebSite
facilitates
the financial transaction
and the
time
of existence of
the financial transaction
takes place
during
the time interval
No TPTP formula. May not be expressible in strict first order.
emotion.kif 161-172
If
an emotional state
is an
attribute
of
an entity
holds
during
a time position
and
the emotional state
tends
to
cause
a kind of emotional behavioral process
,
then the statement there exists
a kind of emotional behavioral process
I such that
the kind of emotional behavioral process
is an
instance
of
the kind of emotional behavioral process
I and
the kind of emotional behavioral process
I takes place
during
the time position
and
the entity
experience
s
the kind of emotional behavioral process
I has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2554-2570
If the
measure
of
an object
is
a function quantity
holds
during
a time position
and the idle speed of
an internal combustion engine
is
the function quantity
and
another object
is an
instance
of
automobile
and
the internal combustion engine
is a
part
of
the other object
and
the object
is a
part
of
the internal combustion engine
,
then the statement there don't exist
an entity
and
another entity
such that
the entity
takes place
during
the time position
and
the entity
is an
instance
of
pushing
and
the entity
end
s up at
the other entity
and
the other entity
is a
part
of
the other object
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 28423-28434
If
an agent
is an
instance
of
agent
and
Motionless
is an
attribute
of
the agent
holds
during
a time interval
,
then there doesn't exist
a process
such that
the process
is an
instance
of
body motion
and
the process
is an
instance
of
intentional process
and
the agent
is an
agent
of
the process
and the
time
of existence of
the process
takes place
during
the time interval
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 8092-8105
If
an agent
is an
instance
of
cavalry unit
and
a time interval
is an
instance
of
battle
and
the agent
is an
agent
of
the time interval
,
then there exist
another agent
,
an entity
and
another time interval
such that
soldier
is an
attribute
of
the other agent
and
the other agent
is a
member
of
the agent
and
the other time interval
is an
instance
of
transportation
and
the other agent
is an
agent
of
the other time interval
and
the entity
is an
instance
of
vehicle
and
the entity
is a
patient
of
the other time interval
and
the other time interval
takes place
during
the time interval
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1891-1907
If
a process
is an
instance
of
EngineCycle
and
an object
is an
instance
of
internal combustion engine
and
another object
is an
instance
of
combustion chamber
and
the other object
is a
part
of
the object
and
the process
is
located
at
2
and the maximum volume of the cylinders in the engine
the object
is
a quantity
holds
during
the
time
of existence of
the process
,
then there don't exist
another quantity
and
a time interval
such that
the time interval
takes place
during
the
time
of existence of
the process
and the
measure
of
the other object
is
the other quantity
holds
during
the time interval
and
the other quantity
is
greater
than
the quantity
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1864-1880
If
a process
is an
instance
of
EngineCycle
and
an object
is an
instance
of
internal combustion engine
and
another object
is an
instance
of
combustion chamber
and
the other object
is a
part
of
the object
and
the process
is
located
at
2
and the minimum volume of the cylinders in the engine
the object
is
a quantity
holds
during
the
time
of existence of
the process
,
then there don't exist
another quantity
and
a time interval
such that
the time interval
takes place
during
the
time
of existence of
the process
and the
measure
of
the other object
is
the other quantity
holds
during
the time interval
and
the quantity
is
greater
than
the other quantity
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1933-1952
If
a process
is an
instance
of
EngineCycle
and
an engine
is an
instance
of
internal combustion engine
and
an object
is an
instance
of
piston
and
the object
is a
part
of
the engine
and
the object
is a
patient
of
the process
and
the process
is
located
at
2
and the maximum distance that the pistons of engine
the engine
travel is
a length measure
,
then there don't exist
a time interval
,
another time interval
,, ,
a physical
,, ,
another physical
and
another length measure
such that
the time interval
takes place
during
the
time
of existence of
the process
and
the other time interval
takes place
during
the
time
of existence of
the process
and
the object
is
located
at
the physical
holds
during
the time interval
and
the object
is
located
at
the other physical
holds
during
the other time interval
and the
distance
between
the physical
and
the other physical
is
the other length measure
and
the other length measure
is
greater
than
the length measure
No TPTP formula. May not be expressible in strict first order.
Media.kif 437-444
If
a time interval
is an
instance
of
EasterSunday
and
another time interval
is an
instance
of
Lent
and
the other time interval
meet
s
the time interval
and
the time interval
takes place
during
a third time interval
and
the third time interval
is an
instance
of
year
,
then
the other time interval
takes place
during
the third time interval
No TPTP formula. May not be expressible in strict first order.
Media.kif 446-453
If
a time interval
is an
instance
of
EasterSunday
and
another time interval
is an
instance
of
Lent
and
the other time interval
meet
s
the time interval
and
the other time interval
takes place
during
a third time interval
and
the third time interval
is an
instance
of
year
,
then
the time interval
takes place
during
the third time interval
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3297-3316
If
an experimenting
is an
instance
of
experimenting
and
a time interval
is an
instance
of
time interval
,
then the number of
instances
in the
class
described by
a symbolic string
and the number of
instances
in the
class
described by
another symbolic string
is
equal
to
purchases
per
user
in
the experimenting
during
the time interval
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4437-4452
If
a process
is an
instance
of
FailureFn
a kind of intentional process
and
a cognitive agent
is an
agent
of
the process
,
then
the cognitive agent
desire
s there exists
another process
such that
the other process
is an
instance
of
a kind of intentional process
and
the cognitive agent
is an
agent
of
the other process
and there doesn't exist
the other process
such that
the other process
is an
instance
of
the kind of intentional process
and the
time
of existence of
the other process
takes place
during
the
time
of existence of
the process
and
the cognitive agent
is an
agent
of
the other process
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3579-3611
If
a time interval
is an
instance
of
time interval
and
a WebSite
is an
instance
of
WebSite
,
then there exists
a collection
such that
the collection
is an
instance
of
collection
and for all
an agent
if
the agent
is a
member
of
the collection
,
then there exists
another time interval
such that
the agent
is an
instance
of
agent
and
the other time interval
is an
instance
of
buying
and
the agent
is an
agent
of
the other time interval
and
the WebSite
is an
instrument
for
the other time interval
and
the other time interval
takes place
during
the time interval
and there doesn't exist
the time interval
_BEFORE such that
the time interval
_BEFORE is an
instance
of
time interval
and
the time interval
_BEFORE happens
earlier
than
the time interval
and there exists
the other time interval
_BEFORE such that
the other time interval
_BEFORE is an
instance
of
buying
and
the agent
is an
agent
of
the other time interval
_BEFORE and
the WebSite
is an
instrument
for
the other time interval
_BEFORE and
the other time interval
_BEFORE takes place
during
the time interval
holds
during
the time interval
_BEFORE
and
new
buyers
at
the WebSite
during
the time interval
is
equal
to
the collection
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3631-3658
If
a time interval
is an
instance
of
time interval
and
a WebSite
is an
instance
of
WebSite
,
then there exists
a collection
such that
the collection
is an
instance
of
collection
and for all
an object
if
the object
is an
instance
of
human
and there doesn't exist
the time interval
_BEFORE such that
the time interval
_BEFORE is an
instance
of
time interval
and
the time interval
_BEFORE happens
earlier
than
the time interval
and
the object
is a
registered
user
of
the WebSite
holds
during
the time interval
_BEFORE and there exists
the time interval
_DURING such that
the time interval
_DURING is an
instance
of
time interval
and
the time interval
_DURING takes place
during
the time interval
and
the object
is a
registered
user
of
the WebSite
holds
during
the time interval
,
then
the object
is a
member
of
the collection
and
the collection
is
equal
to
new
registrations
at
the WebSite
during
the time interval
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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
