holdsDuring
(<=>
(
importPartnerByFractionInPeriod
?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
importPartnerByFraction
?AREA1 ?AREA2 ?FRACTION)))))
Economy.kif 2742-2747
A geopolitical area
import
partner by fraction in period
another geopolitical area
for
a positive real number
with
a kind of time interval
if and only if there exists
a time position
such that
the time position
is an
instance
of
a kind of time interval
and
the geopolitical area
import
partner by fraction
the other geopolitical area
for
the positive real number
holds
during
the time position
(<=>
(
importPartnerByRankInPeriod
?AREA1 ?AREA2 ?NTH ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
importPartnerByRank
?AREA1 ?AREA2 ?NTH)))))
Economy.kif 2704-2709
A geopolitical area
import
partner by rank in period
another geopolitical area
for
a positive integer
with
a kind of time interval
if and only if there exists
a time position
such that
the time position
is an
instance
of
a kind of time interval
and
the geopolitical area
import
partner by rank
the other geopolitical area
for
the positive integer
holds
during
the time position
(<=>
(
importPartnerInPeriod
?AGENT1 ?AGENT2 ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
importPartner
?AGENT1 ?AGENT2)))))
Economy.kif 2674-2679
An agent
import
partner in period
another agent
for
a kind of time interval
if and only if there exists
a time position
such that
the time position
is an
instance
of
a kind of time interval
and
the other agent
is an
import
partner of
the agent
holds
during
the time position
(<=>
(
incomeDistributionByGiniIndexInPeriod
?AREA ?INDEX ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
incomeDistributionByGiniIndex
?AREA ?INDEX)))))
Economy.kif 1318-1323
A geopolitical area
income
distribution by gini index in period
a nonnegative real number
for
a kind of time interval
if and only if there exists
a time position
such that
the time position
is an
instance
of
a kind of time interval
and
the nonnegative real number
is an
income
distribution by gini index of
the geopolitical area
holds
during
the time position
(<=>
(
industrialProductionGrowthRateInPeriod
?AREA ?RATE ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
industrialProductionGrowthRate
?AREA ?RATE)))))
Economy.kif 1949-1954
A geopolitical area
is
industrial
production growth rate in period
a real number
for
a kind of time interval
if and only if there exists
a time position
such that
the time position
is an
instance
of
a kind of time interval
and
the real number
is an
industrial
production growth rate of
the geopolitical area
holds
during
the time position
(<=>
(
laborForceFractionByOccupationInPeriod
?AREA ?SECTOR ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
laborForceFractionByOccupation
?AREA ?SECTOR ?FRACTION)))))
Economy.kif 1419-1424
A geopolitical area
labor
force fraction by occupation in period
an attribute
for
a real number
with
a kind of time interval
if and only if there exists
a time position
such that
the time position
is an
instance
of
a kind of time interval
and
the geopolitical area
labor
force fraction by occupation
the attribute
for
the real number
holds
during
the time position
(<=>
(
laborForceTotalInPeriod
?AREA ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
laborForceTotal
?AREA ?AMOUNT)))))
Economy.kif 1373-1378
A geopolitical area
is
labor
force total in period
a nonnegative real number
for
a kind of time interval
if and only if there exists
a time position
such that
the time position
is an
instance
of
a kind of time interval
and
the nonnegative real number
is a
labor
force total of
the geopolitical area
holds
during
the time position
(<=>
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE)))
Mid-level-ontology.kif 23308-23310
An object
located
at time
a time position
for
another object
if and only if
the object
is
located
at
the other object
holds
during
the time position
(<=>
(
lowestDecileShareOfHouseholdIncomeInPeriod
?AREA ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
lowestDecileShareOfHouseholdIncome
?AREA ?FRACTION)))))
Economy.kif 1233-1238
A geopolitical area
lowest
decile share of household income in period
a real number
for
a kind of time interval
if and only if there exists
a time position
such that
the time position
is an
instance
of
a kind of time interval
and
the real number
is a
lowest
decile share of household income of
the geopolitical area
holds
during
the time position
(<=>
(
memberAtTime
?OBJ ?COLLECTION ?TIME)
(
holdsDuring
?TIME
(
member
?OBJ ?COLLECTION)))
Mid-level-ontology.kif 22703-22705
A self connected object
is a
member
of
a collection
during
a time position
if and only if
the self connected object
is a
member
of
the collection
holds
during
the time position
(<=>
(
militaryExpendituresFractionOfGDPInPeriod
?AREA ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
militaryExpendituresFractionOfGDP
?AREA ?FRACTION)))))
Military.kif 1019-1024
A geopolitical area
is
military
expenditures fraction ofGDP in period
a real number
for
a time interval
if and only if there exists
a time position
such that
the time position
is an
instance
of
the time interval
and
the real number
is a
military
expenditures fraction of GDP of
the geopolitical area
holds
during
the time position
(<=>
(
militaryExpendituresInUSDollarsInPeriod
?AREA ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
militaryExpendituresInUSDollars
?AREA ?AMOUNT)))))
Military.kif 980-985
A geopolitical area
is
military
expenditures in US dollars in period
a currency measure
for
a time interval
if and only if there exists
a time position
such that
the time position
is an
instance
of
the time interval
and
the currency measure
is a
military
expenditures in US dollars of
the geopolitical area
holds
during
the time position
(<=>
(
perCapitaGDPInPeriod
?AREA ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
perCapitaGDP
?AREA ?AMOUNT)))))
Economy.kif 1042-1047
A geopolitical area
is
per
capitaGDP in period
a currency measure
for
a time interval
if and only if there exists
a time position
such that
the time position
is an
instance
of
the time interval
and
the currency measure
is a
per
capitaGDP of
the geopolitical area
holds
during
the time position
(<=>
(
populationFractionBelowPovertyLineInPeriod
?AREA ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
populationFractionBelowPovertyLine
?AREA ?FRACTION)))))
Economy.kif 1184-1189
A geopolitical area
is
population
fraction below poverty line in period
a real number
for
a kind of time interval
if and only if there exists
a time position
such that
the time position
is an
instance
of
a kind of time interval
and
the real number
is a
population
fraction below poverty line of
the geopolitical area
holds
during
the time position
(<=>
(
realGrowthRateOfGDPInPeriod
?AREA ?RATE ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
realGrowthRateOfGDP
?AREA ?RATE)))))
Economy.kif 1007-1012
A geopolitical area
is
real
growth rate of GDP in period
a real number
for
a kind of time interval
if and only if there exists
a time position
such that
the time position
is an
instance
of
a kind of time interval
and
the real number
is a
real
growth rate of GDP of
the geopolitical area
holds
during
the time position
(<=>
(
sectorCompositionOfGDPInPeriod
?AREA ?SECTOR ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
sectorCompositionOfGDP
?AREA ?SECTOR ?FRACTION)))))
Economy.kif 1086-1091
A geopolitical area
is the
sector
composition of GDP in period
an industry attribute
for
a real number
with
a kind of time interval
if and only if there exists
a time position
such that
the time position
is an
instance
of
a kind of time interval
and
the geopolitical area
is
sector
composition of GDP
the industry attribute
for
the real number
holds
during
the time position
(<=>
(
sectorValueOfGDPInPeriod
?AREA ?SECTOR
(
MeasureFn
?AMOUNT ?CUNIT) ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
sectorValueOfGDP
?AREA ?SECTOR
(
MeasureFn
?AMOUNT ?CUNIT))))))
Economy.kif 1129-1137
A geopolitical area
is
sector
value of GDP in period
an industry attribute
for
a real number
an unit of measure
(s) with
a kind of time interval
if and only if there exists
a time position
such that
the time position
is an
instance
of
a kind of time interval
and
the geopolitical area
is
sector
value of GDP
the industry attribute
for
the real number
the unit of measure
(s) holds
during
the time position
(<=>
(
totalGDPInPeriod
?AREA ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
totalGDP
?AREA ?AMOUNT)))))
Economy.kif 958-963
A geopolitical area
is
totalGDP
in period
a currency measure
for
a kind of time interval
if and only if there exists
a time position
such that
the time position
is an
instance
of
a kind of time interval
and
the currency measure
is a
total
GDP of
the geopolitical area
holds
during
the time position
(<=>
(
unemploymentRateOfAreaInPeriod
?AREA ?RATE ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
unemploymentRateOfArea
?AREA ?RATE)))))
Economy.kif 1456-1461
A geopolitical area
is
unemployment
rate of area in period
a real number
for
a kind of time interval
if and only if there exists
a time position
such that
the time position
is an
instance
of
a kind of time interval
and
the geopolitical area
is
unemployment
rate of area
the real number
for holds
during
the time position
(=>
(
agreementExpirationDate
?AGREEMENT ?ENDDATE)
(
holdsDuring
(
FutureFn
?ENDDATE)
(
not
(
property
?AGREEMENT
ActiveAgreement
))))
Mid-level-ontology.kif 14055-14058
If
an agreement
has
expiration
a time point
,
then
the agreement
does not have the
attribute
active agreement
holds
during
after
the time point
(=>
(
agreementRevisionDate
?AGR ?DATE ?CHANGE)
(
exists
(?TIME)
(
and
(
instance
?TIME ?DATE)
(
or
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
subProposition
?CHANGE ?AGR)))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
subProposition
?CHANGE ?AGR))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR))))))))
Government.kif 738-753
If
a proposition
agreement
revision date
a kind of time position
for
another proposition
,
then there exists
another time position
such that
the other time position
is an
instance
of
a kind of time position
and
the other proposition
is not a
sub
-proposition of
the proposition
holds
during
immediately
before
the other time position
and
the other proposition
is a
sub
-proposition of
the proposition
holds
during
immediately
after
the other time position
or
the other proposition
is a
sub
-proposition of
the proposition
holds
during
immediately
before
the other time position
and
the other proposition
is not a
sub
-proposition of
the proposition
holds
during
immediately
after
the other time position
(=>
(
almaMater
?PERSON ?SCHOOL)
(
exists
(?EV)
(
and
(
instance
?EV
EducationalProcess
)
(
destination
?EV ?PERSON)
(
eventLocated
?EV ?SCHOOL)
(
holdsDuring
(
WhenFn
?EV)
(
attribute
?PERSON
Student
)))))
Mid-level-ontology.kif 16852-16861
If
a human
's
almaMater
is
a post secondary school
,
then there exists
a process
such that
the process
is an
instance
of
educational process
and
the process
end
s up at
the human
and
the process
is
located
at
the post secondary school
and
student
is an
attribute
of
the human
holds
during
the
time
of existence of
the process
(=>
(
and
(
actedIn
?ACTOR ?O)
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))
(
holdsDuring
(
WhenFn
?PERF)
(
attribute
?ACTOR
Actor
)))
Mid-level-ontology.kif 20760-20767
If
a human
&actedIn
a content bearing physical
. and
a process
is an
instance
of
dramatic acting
and
the human
is a
patient
of
the process
and
the content bearing physical
is a
result
of
the process
,
then
actor
is an
attribute
of
the human
holds
during
the
time
of existence of
the process
(=>
(
and
(
agent
?PROCESS ?AGENT)
(
result
?PROCESS ?WORK)
(
instance
?WORK
ArtWork
))
(
holdsDuring
(
WhenFn
?PROCESS)
(
attribute
?AGENT
Artist
)))
Mid-level-ontology.kif 18837-18843
If
an agent
is an
agent
of
a process
and
an entity
is a
result
of
the process
and
the entity
is an
instance
of
art work
,
then
artist
is an
attribute
of
the agent
holds
during
the
time
of existence of
the process
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersObligation
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsObligation
?FORMULA ?AGENT)))
Government.kif 714-719
If
a time point
is an
agreement
effective date of
an agreement
and
the agreement
obligate
s
a cognitive agent
to perform task of the type
a formula
and
a time position
is an
instance
of
the time point
,
then
the cognitive agent
is
obliged
to perform tasks of type
the formula
holds
during
immediately
after
the time position
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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