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
during
Sigma KEE - during
during
appearance as argument number 1
(
documentation
during
ChineseLanguage
"(
during
?INTERVAL1 ?INTERVAL2)的意思是 ?INTERVAL1 比 ?INTERVAL2 要晚开始和先 结束。")
chinese_format.kif 2720-2721
(
documentation
during
EnglishLanguage
"(
during
?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 starts after and ends before ?INTERVAL2.")
Merge.kif 8220-8221
(
domain
during
1
TimeInterval
)
Merge.kif 8217-8217
The number 1 argument of
during
is an
instance
of
time interval
(
domain
during
2
TimeInterval
)
Merge.kif 8218-8218
The number 2 argument of
during
is an
instance
of
time interval
(
instance
during
BinaryPredicate
)
Merge.kif 8214-8214
during
is an
instance
of
binary predicate
(
instance
during
IrreflexiveRelation
)
Merge.kif 8215-8215
during
is an
instance
of
irreflexive relation
(
instance
during
TransitiveRelation
)
Merge.kif 8213-8213
during
is an
instance
of
transitive relation
appearance as argument number 2
(
format
ChineseLanguage
during
"%1 %n{doesn't} 在 %2 时段内发生")
chinese_format.kif 433-433
(
format
EnglishLanguage
during
"%1 %n{doesn't} take%p{s} place
during
%2")
english_format.kif 439-439
(
termFormat
ChineseLanguage
during
"在这时间内")
chinese_format.kif 434-434
(
termFormat
ChineseLanguage
during
"期间")
domainEnglishFormat.kif 20685-20685
(
termFormat
ChineseTraditionalLanguage
during
"期間")
domainEnglishFormat.kif 20684-20684
(
termFormat
EnglishLanguage
during
"during")
domainEnglishFormat.kif 20683-20683
antecedent
(=>
(
and
(
attribute
?H
Mausaharati
)
(
instance
?D
Drumming
)
(
agent
?D ?H)
(
instance
?DAY
Day
)
(
instance
?S
Sunrise
)
(
during
?S ?D)
(
before
?D ?S))
(
hasPurpose
?D
(
exists
(?P ?SUHUR ?WU)
(
and
(
instance
?WU
WakingUp
)
(
experiencer
?WU ?P)
(
instance
?SUHUR
Suhur
)
(
agent
?SUHUR ?P)
(
before
?WU ?SUHUR)
(
during
?WU ?DAY)
(
during
?SUHUR ?DAY)))))
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
has the 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
(=>
(
and
(
dampingRatio
?P ?R)
(
greaterThan
?R 0)
(
instance
?T
Tremor
)
(
patient
?T ?P)
(
instance
?U
UnitOfLength
)
(
holdsDuring
?T1
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
?T2
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U)))
(
during
?T1 ?T)
(
during
?T2 ?T)
(
earlier
?T1 ?T2))
(
greaterThan
?A1 ?A2))
Cars.kif 809-825
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
an entity
is an
instance
of
UnitOfLength
and the amplitude
the time interval
is
another real number
the entity
(s) holds
during
the time interval
1 and the amplitude
the time interval
is
a third real number
the entity
(s) 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 other real number
is
greater
than
the third real number
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30064-30085
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
(=>
(
and
(
instance
?ES
EasterSunday
)
(
instance
?L
Lent
)
(
meetsTemporally
?L ?ES)
(
during
?ES ?Y)
(
instance
?Y
Year
))
(
during
?L ?Y))
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
(=>
(
and
(
instance
?ES
EasterSunday
)
(
instance
?L
Lent
)
(
meetsTemporally
?L ?ES)
(
during
?L ?Y)
(
instance
?Y
Year
))
(
during
?ES ?Y))
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
(=>
(
and
(
instance
?EVE
Evening
)
(
instance
?AFT
Afternoon
)
(
instance
?D
Day
)
(
during
?EVE ?D)
(
during
?AFT ?D))
(
meetsTemporally
?AFT ?EVE))
Merge.kif 8830-8837
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
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
Agent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1703-1725
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
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
during
?T1 ?YEAR)
(
instance
?YEAR
Year
)
(
meetsTemporally
?T1 ?T2))
(
during
?T2 ?YEAR))
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
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
during
?T2 ?YEAR)
(
instance
?YEAR
Year
)
(
meetsTemporally
?T1 ?T2))
(
during
?T1 ?YEAR))
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
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL)))))))
UXExperimentalTerms.kif 3876-3911
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
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
AccessingWebPage
and for all
a process
,
an agent
,, ,
another process
,, ,
the process
and
an object
if
the agent
is an
instance
of
human
and
the process
is an
instance
of
buying
and
the other process
is an
instance
of
AccessingWebPage
and
the object
is an
instance
of
WebPage
and
the other process
is a
member
of
the collection
and
the other process
end
s up at
the object
and
the agent
is an
agent
of
the process
and
the agent
is an
agent
of
the other process
and the
time
of existence of
the process
takes place
during
the
time
of existence of
the other process
and
the 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
(=>
(
and
(
instance
?Y
Year
)
(
instance
?E
EasterSunday
)
(
instance
?A
AscensionThursday
)
(
during
?E ?Y)
(
during
?A ?Y)
(
starts
?E ?I)
(
finishes
?A ?I))
(
duration
?I
(
MeasureFn
40
DayDuration
)))
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)
(=>
(
and
(
instance
?Y
Year
)
(
instance
?E
EasterSunday
)
(
instance
?P
PalmSunday
)
(
during
?E ?Y)
(
during
?P ?Y)
(
starts
?P ?I)
(
finishes
?E ?I))
(
duration
?I
(
MeasureFn
8
DayDuration
)))
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)
(=>
(
and
(
instance
?Y
Year
)
(
instance
?E
EasterSunday
)
(
instance
?P
Pentecost
)
(
during
?E ?Y)
(
during
?P ?Y)
(
starts
?E ?I)
(
finishes
?P ?I))
(
duration
?I
(
MeasureFn
50
DayDuration
)))
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)
(=>
(
and
(
standardRetailHours
?TIMEINT ?AGENT)
(
potentialCustomer
?C ?AGENT)
(
instance
?P
IntentionalProcess
)
(
destination
?P ?C)
(
instance
?START
(
StartFn
?P))
(
conditionalProbability
(
during
(
WhenFn
?START) ?TIMEINT)
(
agent
?P ?AGENT) ?NUMBER1)
(
conditionalProbability
(
not
(
during
(
WhenFn
?START) ?TIMEINT))
(
agent
?P ?AGENT) ?NUMBER2))
(
lessThan
?NUMBER2 ?NUMBER1))
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
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
DayTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Object
)
(
color
?B
Black
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2727-2747
If the
visibility
at
a region
during
a time interval
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of 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 there exists
another real number
such that the
distance
between
the agent
and
the object
is
the other real number
the unit of measure
(s) and
the real number
is
greater
than
the other real number
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
NightTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Region
)
(
attribute
?B
Illuminated
)
(
measure
?B
(
MeasureFn
1000.0
Candela
))
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2749-2770
If the
visibility
at
a region
during
a time interval
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of 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.0
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 there exists
another real number
such that the
distance
between
the agent
and
the object
is
the other real number
the unit of measure
(s) and
the real number
is
greater
than
the other real number
(=>
(
during
?INTERVAL1 ?INTERVAL2)
(
and
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2))
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))))
Merge.kif 8223-8227
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
(=>
(
during
?SMALL ?BIG)
(
temporalPart
?SMALL ?BIG))
Merge.kif 8166-8168
If
a time interval
takes place
during
another time interval
,
then
the time interval
is a
part
of
the other time interval
consequent
(<=>
(
and
(
instance
?Y
(
YearFn
?YEAR))
(
equal
(
MaleLifeExpectancyAtBirthFn
?AREA ?Y) ?REALNUMBER))
(
exists
(?LIST)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Male
)
(
during
(
WhenFn
?BIRTH) ?Y)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 372-405
A year
is an
instance
of the
year
the year
EAR and the
male
life expectancy at birth of
a geopolitical area
and
the year
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
(<=>
(
equal
(
BirthsPerThousandFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
and
(
equal
(
DivisionFn
(
PopulationFn
?AREA) 1000) ?THOUSANDS)
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH)
(
YearFn
?YEAR))
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 108-121
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
another real number
and
another integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
and
the other integer
and
the other real number
is
equal
to
the real number
(<=>
(
equal
(
DeathsPerThousandFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
and
(
equal
(
DivisionFn
(
PopulationFn
?AREA) 1000) ?THOUSANDS)
(
equal
?DEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
instance
?PERSON
Human
)
(
during
(
WhenFn
?DEATH)
(
YearFn
?YEAR))
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 142-155
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
another real number
and
another integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
and
the other integer
and
the other real number
is
equal
to
the real number
(<=>
(
equal
(
DeathsPerThousandLiveBirthsFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
and
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH)
(
YearFn
?YEAR))
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
(
equal
?INFANTDEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INFANT)
(
instance
?INFANT
Human
)
(
age
?INFANT
(
MeasureFn
?AGE
YearDuration
))
(
lessThan
?AGE 1)
(
during
(
WhenFn
?DEATH)
(
YearFn
?YEAR))
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 257-281
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
another real number
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 other real number
is
equal
to
the real number
(<=>
(
equal
(
FemaleLifeExpectancyAtBirthFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
exists
(?LIST)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Female
)
(
during
(
WhenFn
?BIRTH)
(
YearFn
?YEAR))
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 418-449
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
(<=>
(
equal
(
LifeExpectancyAtBirthFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
exists
(?LIST)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
during
(
WhenFn
?BIRTH)
(
YearFn
?YEAR))
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 327-357
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
(<=>
(
holdsDuring
?T
(
attribute
?H
Alone
))
(
not
(
exists
(?H2 ?SI)
(
and
(
not
(
equal
?H ?H2))
(
instance
?H2
Agent
)
(
instance
?SI
SocialInteraction
)
(
during
(
WhenFn
?SI) ?T)
(
involvedInEvent
?SI ?H)
(
involvedInEvent
?SI ?H2)))))
Mid-level-ontology.kif 29625-29638
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
(<=>
(
holdsDuring
?T
(
attribute
?P
Mute
))
(
not
(
exists
(?S)
(
and
(
instance
?S
Speaking
)
(
during
(
WhenFn
?S) ?T)
(
agent
?S ?P)))))
Mid-level-ontology.kif 29673-29681
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
(=>
(
and
(
attribute
?H
Mausaharati
)
(
instance
?D
Drumming
)
(
agent
?D ?H)
(
instance
?DAY
Day
)
(
instance
?S
Sunrise
)
(
during
?S ?D)
(
before
?D ?S))
(
hasPurpose
?D
(
exists
(?P ?SUHUR ?WU)
(
and
(
instance
?WU
WakingUp
)
(
experiencer
?WU ?P)
(
instance
?SUHUR
Suhur
)
(
agent
?SUHUR ?P)
(
before
?WU ?SUHUR)
(
during
?WU ?DAY)
(
during
?SUHUR ?DAY)))))
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
has the 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
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T
(
MeasureFn
?C ?U))
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 193-212
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
,
another entity
and
a third entity
such that
the entity
is an
instance
of
zakat
and
a fourth entity
is an
instance
of
year
and
the fourth entity
takes place
during
the
time
of existence of
the agent
and
fully formed
is an
attribute
of
the agent
holds
during
the fourth 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 fifth entity
the third entity
(s) and
the third entity
is an
instance
of
UnitOfCurrency
and
the fifth entity
is
greater
than
the currency measure
and 0.025 has the
modal
force
of
obligation
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
during
(
WhenFn
?BUYING) ?INT))))
UXExperimentalTerms.kif 3742-3751
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
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
during
(
WhenFn
?SELLING) ?INT))))
UXExperimentalTerms.kif 3790-3799
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
(=>
(
and
(
holdsDuring
?T
(
attribute
?A ?ES))
(
actionTendency
?ES ?P))
(
modalAttribute
(
exists
(?PI)
(
and
(
instance
?P ?PI)
(
during
?PI ?T)
(
experiencer
?PI ?A)))
Likely
))
emotion.kif 161-172
If
an emotional state
is an
attribute
of
an entity
holds
during
a time position
and
actionTendency
the emotional state
and
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
(=>
(
and
(
holdsDuring
?T
(
measure
?C ?S))
(
engineIdleSpeed
?E ?S)
(
instance
?A
Automobile
)
(
part
?E ?A)
(
part
?C ?E))
(
modalAttribute
(
not
(
exists
(?P ?GP)
(
and
(
during
?P ?T)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?GP ?A))))
Likely
))
Cars.kif 2567-2583
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
(=>
(
and
(
instance
?A
Agent
)
(
holdsDuring
?T
(
attribute
?A
Motionless
)))
(
not
(
exists
(?P)
(
and
(
instance
?P
BodyMotion
)
(
instance
?P
IntentionalProcess
)
(
agent
?P ?A)
(
during
(
WhenFn
?P) ?T)))))
Mid-level-ontology.kif 29644-29655
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
(=>
(
and
(
instance
?BS1
BodySegment
)
(
instance
?BS2
BodySegment
)
(
connected
?BS1 ?BS2)
(
instance
?BM
BodyMotion
)
(
moves
?BM ?BS1))
(
modalAttribute
(
not
(
exists
(?BM2)
(
and
(
instance
?BM2
BodyMotion
)
(
moves
?BM2 ?BS2)
(
during
(
WhenFn
?BM2)
(
WhenFn
?BM)))))
Possibility
))
Mid-level-ontology.kif 10089-10105
If
an object
is an
instance
of
BodySegment
and
another object
is an
instance
of
BodySegment
and
the object
is
connected
to
the other object
and
a motion
is an
instance
of
body motion
and
the object
moves during
the motion
,
then the statement there doesn't exist
the motion
2 such that
the motion
2 is an
instance
of
body motion
and
the other object
moves during
the motion
2 and the
time
of existence of
the motion
2 takes place
during
the
time
of existence of
the motion
has the
modal
force
of
possibility
(=>
(
and
(
instance
?C
CavalryUnit
)
(
instance
?B
Battle
)
(
agent
?B ?C))
(
exists
(?P ?V ?T)
(
and
(
attribute
?P
Soldier
)
(
member
?P ?C)
(
instance
?T
Transportation
)
(
agent
?T ?P)
(
instance
?V
Vehicle
)
(
patient
?T ?V)
(
during
?T ?B))))
Mid-level-ontology.kif 7994-8007
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
(=>
(
and
(
instance
?E
Afternoon
)
(
instance
?D
Day
)
(
equal
?E
(
AfternoonFn
?D)))
(
during
?E ?D))
Merge.kif 8748-8753
If
an afternoon
is an
instance
of
afternoon
and
a day
is an
instance
of
day
and
the afternoon
is
equal
to the
afternoon
of
the day
,
then
the afternoon
takes place
during
the day
(=>
(
and
(
instance
?E
Evening
)
(
instance
?D
Day
)
(
equal
?E
(
EveningFn
?D)))
(
during
?E ?D))
Merge.kif 8848-8853
If
an Evening
is an
instance
of
Evening
and
a day
is an
instance
of
day
and
the Evening
is
equal
to the
evening
of
the day
,
then
the Evening
takes place
during
the day
(=>
(
and
(
instance
?E
Morning
)
(
instance
?D
Day
)
(
equal
?E
(
MorningFn
?D)))
(
during
?E ?D))
Merge.kif 8732-8737
If
a morning
is an
instance
of
morning
and
a day
is an
instance
of
day
and
the morning
is
equal
to the
morning
of
the day
,
then
the morning
takes place
during
the day
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
maxCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V2 ?V1)))))
Cars.kif 1898-1917
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
an entity
is an
instance
of
UnitOfVolume
and the maximum volume of the cylinders in the engine
the object
is
a real number
the entity
(s) holds
during
the
time
of existence of
the process
,
then there don't exist
another real number
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 real number
the entity
(s) holds
during
the time interval
and
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
minCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V1 ?V2)))))
Cars.kif 1868-1887
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
an entity
is an
instance
of
UnitOfVolume
and the minimum volume of the cylinders in the engine
the object
is
a real number
the entity
(s) holds
during
the
time
of existence of
the process
,
then there don't exist
another real number
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 real number
the entity
(s) holds
during
the time interval
and
the real number
is
greater
than
the other real number
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?P
Piston
)
(
instance
?U
UnitOfLength
)
(
part
?P ?E)
(
patient
?EC ?P)
(
eventLocated
?EC ?E)
(
pistonStroke
?E
(
MeasureFn
?LM ?U)))
(
not
(
exists
(?T1 ?T2 ?L1 ?L2 ?D)
(
and
(
during
?T1
(
WhenFn
?EC))
(
during
?T2
(
WhenFn
?EC))
(
holdsDuring
?T1
(
located
?P ?L1))
(
holdsDuring
?T2
(
located
?P ?L2))
(
distance
?L1 ?L2
(
MeasureFn
?D ?U))
(
greaterThan
?D ?LM)))))
Cars.kif 1943-1965
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
an unit of measure
is an
instance
of
UnitOfLength
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 real number
the unit of measure
(s),
then there don't exist
a time interval
,
another time interval
,, ,
a physical
,, ,
another physical
and
another real number
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 real number
the unit of measure
(s) and
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?ELT
ExperiencingDiscomfortInTheStomach
)
(
experiencer
?ELT ?A))
(
exists
(?P)
(
and
(
instance
?P
Perception
)
(
during
(
WhenFn
?P)
(
WhenFn
?PAIN))
(
instance
?PAIN
Pain
)
(
experiencer
?PAIN ?A)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Stomach
)
(
part
?T ?A))))
emotion.kif 1583-1597
If
a process
is an
instance
of
experiencing discomfort in the stomach
and
an agent
experience
s
the process
,
then there exists
another process
such that
the other process
is an
instance
of
perception
and the
time
of existence of
the other process
takes place
during
the
time
of existence of
the other process
AIN and
the other process
AIN is an
instance
of
pain
and
the agent
experience
s
the other process
AIN and
the other process
is a
subprocess
of
the process
and
the agent
is an
agent
of
the other process
and
an object
is a
patient
of
the other process
and
the object
is an
instance
of
stomach
and
the object
is a
part
of
the agent
(=>
(
and
(
instance
?ES
EasterSunday
)
(
instance
?L
Lent
)
(
meetsTemporally
?L ?ES)
(
during
?ES ?Y)
(
instance
?Y
Year
))
(
during
?L ?Y))
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
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