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
overlapsTemporally
Sigma KEE - overlapsTemporally
overlapsTemporally
appearance as argument number 1
(
documentation
overlapsTemporally
ChineseLanguage
"(
overlapsTemporally
?INTERVAL1 ?INTERVAL2)的意思是
TimeInterval
?INTERVAL1 和 ?INTERVAL2 有
TimeInterval
作为它们的 一个共同部分。")
chinese_format.kif 2717-2719
(
documentation
overlapsTemporally
EnglishLanguage
"(
overlapsTemporally
?INTERVAL1 ?INTERVAL2) means that the
TimeInterval
s ?INTERVAL1 and ?INTERVAL2 have a
TimeInterval
as a common part.")
Merge.kif 8134-8136
(
domain
overlapsTemporally
1
TimeInterval
)
Merge.kif 8131-8131
The number 1 argument of
overlaps temporally
is an
instance
of
time interval
(
domain
overlapsTemporally
2
TimeInterval
)
Merge.kif 8132-8132
The number 2 argument of
overlaps temporally
is an
instance
of
time interval
(
instance
overlapsTemporally
BinaryPredicate
)
Merge.kif 8127-8127
overlaps temporally
is an
instance
of
binary predicate
(
instance
overlapsTemporally
ReflexiveRelation
)
Merge.kif 8129-8129
overlaps temporally
is an
instance
of
reflexive relation
(
instance
overlapsTemporally
SymmetricRelation
)
Merge.kif 8130-8130
overlaps temporally
is an
instance
of
symmetric relation
(
instance
overlapsTemporally
TemporalRelation
)
Merge.kif 8128-8128
overlaps temporally
is an
instance
of
temporal relation
appearance as argument number 2
(
format
ChineseLanguage
overlapsTemporally
"%2 时段 %n{doesn't} 和 %1 重叠")
chinese_format.kif 431-431
(
format
EnglishLanguage
overlapsTemporally
"%2 %n{doesn't} overlap%p{s} %1")
english_format.kif 437-437
(
termFormat
ChineseLanguage
overlapsTemporally
"在时间上重叠")
chinese_format.kif 432-432
(
termFormat
ChineseLanguage
overlapsTemporally
"暂时重叠")
domainEnglishFormat.kif 43765-43765
(
termFormat
ChineseTraditionalLanguage
overlapsTemporally
"暫時重疊")
domainEnglishFormat.kif 43764-43764
(
termFormat
EnglishLanguage
overlapsTemporally
"overlaps temporally")
domainEnglishFormat.kif 43763-43763
antecedent
(=>
(
and
(
instance
?LOW
LowTide
)
(
instance
?HIGH
HighTide
)
(
eventLocated
?LOW ?PLACE)
(
eventLocated
?HIGH ?PLACE)
(
instance
?DAY
Day
)
(
overlapsTemporally
?LOW ?DAY)
(
overlapsTemporally
?HIGH ?DAY))
(
exists
(?AMOUNT1 ?AMOUNT2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
?LOW
(
waterDepth
?PLACE
(
MeasureFn
?AMOUNT1 ?U)))
(
holdsDuring
?HIGH
(
waterDepth
?PLACE
(
MeasureFn
?AMOUNT2 ?U)))
(
greaterThan
?AMOUNT2 ?AMOUNT1))))
Geography.kif 4856-4874
If
a time interval
is an
instance
of
low tide
and
another time interval
is an
instance
of
high tide
and
the time interval
is
located
at
2
and
the other time interval
is
located
at
2
and
a third time interval
is an
instance
of
day
and
the third time interval
overlap
s
the time interval
and
the third time interval
overlap
s
the other time interval
,
then there exist
a real number
,
another real number
and
an entity
such that
the entity
is an
instance
of
UnitOfLength
and
the real number
the entity
(s) is a
water
depth of
another entity
holds
during
the time interval
and
the other real number
the entity
(s) is a
water
depth of
the other entity
holds
during
the other time interval
and
the other real number
is
greater
than
the real number
(=>
(
and
(
lowTide
?PLACE ?TIME1
(
MeasureFn
?AMOUNT1 ?U))
(
highTide
?PLACE ?TIME2
(
MeasureFn
?AMOUNT2 ?U))
(
instance
?U
UnitOfLength
)
(
instance
?DAY
Day
)
(
overlapsTemporally
?TIME1 ?DAY)
(
overlapsTemporally
?TIME2 ?DAY))
(
greaterThan
?AMOUNT1 ?AMOUNT2))
Geography.kif 4925-4935
If
a region
low
tide
a time interval
for
a real number
an unit of measure
(s) and
the region
is
high
tide
another time interval
for
another real number
the unit of measure
(s) and
the unit of measure
is an
instance
of
UnitOfLength
and
a third time interval
is an
instance
of
day
and
the third time interval
overlap
s
the time interval
and
the third time interval
overlap
s
the other time interval
,
then
the real number
is
greater
than
the other real number
(=>
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2)
(
exists
(?INTERVAL3)
(
and
(
instance
?INTERVAL3
TimeInterval
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))))
Merge.kif 8138-8144
If
a time interval
overlap
s
another time interval
,
then there exists
a time position
such that
the time position
is an
instance
of
time interval
and
the time position
is a
part
of
the other time interval
and
the time position
is a
part
of
the time interval
(=>
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2)
(
exists
(?INTERVAL3)
(
and
(
instance
?INTERVAL3
TimePosition
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))))
Merge.kif 8192-8198
If
a time interval
overlap
s
another time interval
,
then there exists
a time position
such that
the time position
is an
instance
of
time position
and
the time position
is a
part
of
the other time interval
and
the time position
is a
part
of
the time interval
consequent
(<=>
(
yearOfFounding
?O ?Y)
(
exists
(?F)
(
and
(
overlapsTemporally
?F
(
YearFn
?Y))
(
instance
?F
Founding
)
(
result
?F ?O))))
Mid-level-ontology.kif 926-932
An integer
is a
year
of founding of
an organization
if and only if there exists
a time interval
such that the
year
the integer
overlap
s
the time interval
and
the time interval
is an
instance
of
founding
and
the organization
is a
result
of
the time interval
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?S ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 5907-5920
If
allergic
a human
and
a kind of substance
and
a kind of substance
UB is an
instance
of
the kind of substance
and
the kind of substance
meet
s
the human
holds
during
a time position
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
AllergicReaction
and
the human
experience
s
the other entity
and the
time
of existence of
the other entity
overlap
s
the time position
and the
beginning
of
the time position
happens
before
the
beginning
of the
time
of existence of
the other entity
has the
modal
force
of
likely
(=>
(
and
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Gas
))
(
exists
(?BOIL)
(
and
(
overlapsTemporally
(
WhenFn
?BOIL) ?TIME)
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?SUBSTANCE)))))
Merge.kif 13594-13607
If
a real number
an unit of measure
(s) is a
boiling
point of
a kind of pure substance
and
an entity
is an
instance
of
a kind of pure substance
and the
measure
of
the entity
is
another real number
the unit of measure
(s) holds
during
a time interval
and
the unit of measure
is an
instance
of
UnitOfTemperature
and
the other real number
is
greater
than or equal to
the real number
,
then
gas
is an
attribute
of
the entity
holds
during
the time interval
or there exists
a process
such that
the time interval
overlap
s the
time
of existence of
the process
and
the process
is an
instance
of
boiling
and
the entity
is a
patient
of
the process
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Embryonic
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
not
(
overlapsTemporally
?TIME ?BW)))
Merge.kif 17930-17936
If
embryonic
is an
attribute
of
an agent
holds
during
a time interval
and
a process
is an
instance
of
birth
and
another time interval
is
equal
to the
time
of existence of
the process
and
the agent
experience
s
the process
,
then
the other time interval
doesn't
overlap
the time interval
(=>
(
and
(
instance
?C
Convoy
)
(
member
?VEH ?C))
(
exists
(?DRIVE)
(
and
(
instance
?DRIVE
Driving
)
(
overlapsTemporally
(
WhenFn
?DRIVE)
(
WhenFn
?C))
(
patient
?DRIVE ?VEH))))
Mid-level-ontology.kif 21804-21812
If
a collection
is an
instance
of
convoy
and
a physical
is a
member
of
the collection
,
then there exists
a process
such that
the process
is an
instance
of
driving
and the
time
of existence of
the collection
overlap
s the
time
of existence of
the process
and
the physical
is a
patient
of
the process
(=>
(
and
(
instance
?D
Dodging
)
(
agent
?D ?A)
(
equal
?DT
(
WhenFn
?D)))
(
hasPurpose
?D
(
not
(
exists
(?I)
(
and
(
or
(
meetsTemporally
?DT
(
WhenFn
?I))
(
overlapsTemporally
?DT
(
WhenFn
?I)))
(
instance
?I
Impacting
)
(
patient
?I ?A))))))
Mid-level-ontology.kif 439-452
If
a process
is an
instance
of
dodging
and
an agent
is an
agent
of
the process
and
the process
T is
equal
to the
time
of existence of
the process
,
then
the process
has the purpose there doesn't exist
an entity
such that
the process
T
meet
s the
time
of existence of
the entity
or the
time
of existence of
the entity
overlap
s
the process
T and
the entity
is an
instance
of
impacting
and
the agent
is a
patient
of
the entity
(=>
(
and
(
instance
?DIGEST
Digesting
)
(
agent
?DIGEST ?ORGANISM))
(
exists
(?INGEST)
(
and
(
instance
?INGEST
Ingesting
)
(
agent
?INGEST ?ORGANISM)
(
overlapsTemporally
(
WhenFn
?INGEST)
(
WhenFn
?DIGEST)))))
Merge.kif 10196-10204
If
a process
is an
instance
of
digesting
and
an agent
is an
agent
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
ingesting
and
the agent
is an
agent
of
the other process
and the
time
of existence of
the process
overlap
s the
time
of existence of
the other process
(=>
(
and
(
instance
?DRYSPELL
Drought
)
(
eventLocated
?DRYSPELL ?AREA))
(
not
(
exists
(?RAIN ?PLACE)
(
and
(
instance
?RAIN
Raining
)
(
instance
?PLACE
Region
)
(
eventLocated
?RAIN ?PLACE)
(
overlapsSpatially
?PLACE ?AREA)
(
overlapsTemporally
?RAIN ?DRYSPELL)))))
Weather.kif 2470-2481
If
a time interval
is an
instance
of
drought
and
the time interval
is
located
at
2
,
then there don't exist
another time interval
and
an object
such that
the other time interval
is an
instance
of
raining
and
the object
is an
instance
of
region
and
the other time interval
is
located
at
2
and
the object
and
an entity
is
overlapsSpatially
and
the time interval
overlap
s
the other time interval
(=>
(
and
(
instance
?INTERVAL3
TimeInterval
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8146-8151
If
a time position
is an
instance
of
time interval
and
the time position
is a
part
of
a time interval
and
the time position
is a
part
of
another time interval
,
then
the other time interval
overlap
s
the time interval
(=>
(
and
(
instance
?INTERVAL3
TimePosition
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8200-8205
If
a time position
is an
instance
of
time position
and
the time position
is a
part
of
a time interval
and
the time position
is a
part
of
another time interval
,
then
the other time interval
overlap
s
the time interval
(=>
(
and
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A))
(
not
(
exists
(?MT)
(
and
(
overlapsTemporally
?MT ?MR)
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A)))))
emotion.kif 1472-1481
If
a time interval
is an
instance
of
muscles relaxing
and
an agent
experience
s
the time interval
,
then there doesn't exist
another time interval
such that
the time interval
overlap
s
the other time interval
and
the other time interval
is an
instance
of
muscles becoming tense
and
the agent
experience
s
the other time interval
(=>
(
and
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A))
(
not
(
exists
(?MR)
(
and
(
overlapsTemporally
?MR ?MT)
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A)))))
emotion.kif 1458-1467
If
a time interval
is an
instance
of
muscles becoming tense
and
an agent
experience
s
the time interval
,
then there doesn't exist
another time interval
such that
the time interval
overlap
s
the other time interval
and
the other time interval
is an
instance
of
muscles relaxing
and
the agent
experience
s
the other time interval
(=>
(
and
(
instance
?R
RelievingPain
)
(
patient
?R ?H))
(
and
(
exists
(?P1)
(
and
(
overlapsTemporally
(
WhenFn
?P1)
(
ImmediatePastFn
(
WhenFn
?R)))
(
instance
?P1
Pain
)
(
located
?P1 ?H)))
(
not
(
exists
(?P2)
(
and
(
overlapsTemporally
(
WhenFn
?P2)
(
ImmediateFutureFn
(
WhenFn
?R)))
(
instance
?P
Pain
)
(
located
?P ?H))))))
Mid-level-ontology.kif 5461-5480
If
a process
is an
instance
of
relieving pain
and
an object
is a
patient
of
the process
,
then there exists
a physical
such that immediately
before
the
time
of existence of
the process
overlap
s the
time
of existence of
the physical
and
the physical
is an
instance
of
pain
and
the physical
is
located
at
the object
and there doesn't exist
another physical
such that immediately
after
the
time
of existence of
the process
overlap
s the
time
of existence of
the other physical
and
a third physical
is an
instance
of
pain
and
the third physical
is
located
at
the object
(=>
(
and
(
instance
?REL
BinaryPredicate
)
(
instance
?REL
SpatialRelation
)
(?REL ?OBJ1 ?OBJ2))
(
overlapsTemporally
(
WhenFn
?OBJ1)
(
WhenFn
?OBJ2)))
Merge.kif 8153-8158
If
an entity
is an
instance
of
binary predicate
and
the entity
is an
instance
of
spatial relation
and
the entity
a physical
and
another physical
,
then the
time
of existence of
the other physical
overlap
s the
time
of existence of
the physical
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP2 ?MEASURE))
(
instance
?MEASURE
UnitOfTemperature
)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP3 ?MEASURE)))
(
greaterThan
?TEMP3 ?TEMP2)
(
lessThan
?TEMP3 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Liquid
))
(
exists
(?MELT)
(
and
(
overlapsTemporally
(
WhenFn
?MELT) ?TIME)
(
instance
?MELT
Melting
)
(
patient
?MELT ?SUBSTANCE)))))
Merge.kif 13616-13631
If
an entity
is an
instance
of
a kind of pure substance
and
a real number
an unit of measure
(s) is a
boiling
point of
a kind of pure substance
and
another real number
the unit of measure
(s) is a
melting
point of
the kind of pure substance
and
the unit of measure
is an
instance
of
UnitOfTemperature
and the
measure
of
the entity
is
a third real number
the unit of measure
(s) holds
during
a time interval
and
the third real number
is
greater
than
the other real number
and
the third real number
is
less
than
the real number
,
then
liquid
is an
attribute
of
the entity
holds
during
the time interval
or there exists
a process
such that
the time interval
overlap
s the
time
of existence of
the process
and
the process
is an
instance
of
melting
and
the entity
is a
patient
of
the process
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
lessThan
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Solid
))
(
exists
(?FREEZE)
(
and
(
overlapsTemporally
(
WhenFn
?FREEZE) ?TIME)
(
instance
?FREEZE
Freezing
)
(
patient
?FREEZE ?SUBSTANCE)))))
Merge.kif 13633-13646
If
an entity
is an
instance
of
a kind of pure substance
and
a real number
an unit of measure
(s) is a
melting
point of
a kind of pure substance
and the
measure
of
the entity
is
another real number
the unit of measure
(s) holds
during
a time interval
and
the unit of measure
is an
instance
of
UnitOfTemperature
and
the other real number
is
less
than
the real number
,
then
solid
is an
attribute
of
the entity
holds
during
the time interval
or there exists
a process
such that
the time interval
overlap
s the
time
of existence of
the process
and
the process
is an
instance
of
freezing
and
the entity
is a
patient
of
the process
(=>
(
and
(
instance
?TI1
TimeInterval
)
(
instance
?TI2
TimeInterval
)
(
beforeOrEqual
(
BeginFn
?TI2)
(
BeginFn
?TI1))
(
before
(
BeginFn
?TI1)
(
EndFn
?TI2)))
(
overlapsTemporally
?TI2 ?TI1))
Merge.kif 8171-8181
If
a time interval
is an
instance
of
time interval
and
another time interval
is an
instance
of
time interval
and the
beginning
of
the other time interval
happen
%{s} before or at the
beginning
of
the time interval
and the
beginning
of
the time interval
happens
before
the
end
of
the other time interval
,
then
the time interval
overlap
s
the other time interval
(=>
(
and
(
instance
?W
WorkLeave
)
(
instance
?WORK
Working
)
(
agent
?W ?PERSON)
(
agent
?WORK ?PERSON)
(
instance
?PERSON
Human
))
(
not
(
overlapsTemporally
(
WhenFn
?W)
(
WhenFn
?WORK))))
Mid-level-ontology.kif 19749-19759
If
a process
is an
instance
of
WorkLeave
and
the process
ORK is an
instance
of
working
and
an agent
is an
agent
of
the process
and
the agent
is an
agent
of
the process
ORK and
the agent
is an
instance
of
human
,
then the
time
of existence of
the process
ORK doesn't
overlap
the
time
of existence of
the process
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
subclass
?TYPE
Process
))
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA)
(
overlapsTemporally
(
WhenFn
?ITEM)
(
WhenFn
?AREA)))))
Geography.kif 2283-2293
If
a kind of physical
is a
natural
hazard type in area of
a geographic area
and
a kind of physical
is a
subclass
of
process
,
then there exists
another physical
such that
the other physical
is an
instance
of
the kind of physical
and
the other physical
is
located
at
the geographic area
and the
time
of existence of
the geographic area
overlap
s the
time
of existence of
the other physical
(=>
(
attribute
?H
NewsReporter
)
(
exists
(?T ?EV)
(
and
(
instance
?EV
Process
)
(
overlapsTemporally
(
WhenFn
?EV)
(
WhenFn
?H))
(
authors
?H ?T)
(
refers
?T ?EV))))
Mid-level-ontology.kif 20380-20389
If
news reporter
is an
attribute
of
an agent
,
then there exist
a kind of content bearing object
and
a physical
such that
the physical
is an
instance
of
process
and the
time
of existence of
the agent
overlap
s the
time
of existence of
the physical
and
the agent
is the
author
of
a kind of content bearing object
and
the kind of content bearing object
includes a
reference
to
the physical
(=>
(
dateDissolved
?THING ?DATE)
(
exists
(?DAY)
(
and
(
instance
?DAY ?DATE)
(
overlapsTemporally
?DAY
(
EndFn
(
WhenFn
?THING))))))
Government.kif 2543-2548
If
a kind of time position
is a
date
dissolved of
a physical
,
then there exists
a time interval
such that
the time interval
is an
instance
of
a kind of time position
and the
end
of the
time
of existence of
the physical
overlap
s
the time interval
(=>
(
dateEstablished
?THING ?DATE)
(
exists
(?DAY)
(
and
(
instance
?DAY ?DATE)
(
overlapsTemporally
?DAY
(
BeginFn
(
WhenFn
?THING))))))
Mid-level-ontology.kif 942-947
If
a kind of time position
is a
date
established of
a physical
,
then there exists
a time interval
such that
the time interval
is an
instance
of
a kind of time position
and the
beginning
of the
time
of existence of
the physical
overlap
s
the time interval
(=>
(
dateUsed
?OBJECT ?DATE ?AGENT)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
patient
?PROCESS ?OBJECT)
(
agent
?PROCESS ?AGENT)
(
uses
?OBJECT ?AGENT)
(
overlapsTemporally
?DATE
(
WhenFn
?PROCESS)))))
Mid-level-ontology.kif 955-963
If
an object
is
used
by
an agent
at
a time interval
,
then there exists
a process
such that
the process
is an
instance
of
process
and
the object
is a
patient
of
the process
and
the agent
is an
agent
of
the process
and
the agent
use
s
the object
and the
time
of existence of
the process
overlap
s
the time interval
(=>
(
exportPartnerInPeriod
?AGENT1 ?AGENT2 ?PERIOD)
(
exists
(?TIME ?EXPORT)
(
and
(
instance
?TIME ?PERIOD)
(
instance
?EXPORT
Exporting
)
(
overlapsTemporally
?TIME
(
WhenFn
?EXPORT))
(
origin
?EXPORT ?AGENT1)
(
destination
?EXPORT ?AGENT2))))
Economy.kif 2370-2378
If
an agent
export
partner in period
another agent
for
a kind of time interval
,
then there exist
another time interval
and
a process
such that
the other time interval
is an
instance
of
a kind of time interval
and
the process
is an
instance
of
exporting
and the
time
of existence of
the process
overlap
s
the other time interval
and
the process
originate
s at
the agent
and
the process
end
s up at
the other agent
(=>
(
holdsDuring
?T
(
attribute
?H
Fasting
))
(
not
(
exists
(?P)
(
and
(
instance
?P
Eating
)
(
agent
?P ?H)
(
overlapsTemporally
?T
(
WhenFn
?P))))))
Mid-level-ontology.kif 30027-30034
If
fasting
is an
attribute
of
an agent
holds
during
a time interval
,
then there doesn't exist
a process
such that
the process
is an
instance
of
eating
and
the agent
is an
agent
of
the process
and the
time
of existence of
the process
overlap
s
the time interval
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
not
(
overlapsTemporally
CommonEra
BeforeCommonEra
))
Mid-level-ontology.kif 7560-7560
Before common era
doesn't
overlap
common era
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