instance
(<=>
(
currencyExchangeRateInPeriod
?UNIT ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
currencyExchangeRate
?UNIT ?AMOUNT)))))
Economy.kif 3668-3673
An unit of currency
currency
exchange rate 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
currency
exchange rate of
the unit of currency
holds
during
the time position
(<=>
(
customer
?AGENT1 ?AGENT2)
(
exists
(?SERVICE)
(
and
(
instance
?SERVICE
FinancialTransaction
)
(
agent
?SERVICE ?AGENT2)
(
destination
?SERVICE ?AGENT1))))
Mid-level-ontology.kif 7727-7733
An agent
is a
customer
of
a cognitive agent
if and only if there exists
a process
such that
the process
is an
instance
of
financial transaction
and
the agent
is an
agent
of
the process
and
the process
end
s up at
the cognitive agent
(<=>
(
customerRepresentative
?Person1 ?Person2 ?Org)
(
exists
(?Service)
(
and
(
instance
?Service
FinancialTransaction
)
(
employs
?Org ?Person1)
(
agent
?Service ?Person1)
(
destination
?Service ?Person2))))
FinancialOntology.kif 3635-3642
A cognitive agent
customer
representative
another cognitive agent
for
an organization
if and only if there exists
a process
such that
the process
is an
instance
of
financial transaction
and
the organization
employ
s
the cognitive agent
and
the cognitive agent
is an
agent
of
the process
and
the process
end
s up at
the other cognitive agent
(<=>
(
economicAidDonatedInPeriod
?COUNTRY ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
economicAidDonated
?COUNTRY ?AMOUNT)))))
Economy.kif 2819-2824
A geopolitical area
is
economic
aid donated 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 an
economic
aid donated of
the geopolitical area
holds
during
the time position
(<=>
(
economicAidReceivedNetInPeriod
?COUNTRY ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
economicAidReceivedNet
?COUNTRY ?AMOUNT)))))
Economy.kif 2859-2864
A geopolitical area
is
economic
aid received net 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 an
economic
aid received net of
the geopolitical area
holds
during
the time position
(<=>
(
electricityFractionFromSourceInPeriod
?AREA ?SOURCE ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
electricityFractionFromSource
?AREA ?SOURCE ?FRACTION)))))
Economy.kif 2056-2061
A geopolitical area
is
electricity
fraction from source in period
a kind of power generation
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
electricity
fraction from source
a kind of power generation
for
the real number
holds
during
the time position
(<=>
(
equal
(
MaleToFemaleRatioFn
?AREA) ?REALNUMBER)
(
and
(
equal
?MALECOUNT
(
CardinalityFn
(
KappaFn
?MALE
(
and
(
instance
?MALE
Human
)
(
attribute
?MALE
Male
)
(
inhabits
?MALE ?AREA)))))
(
equal
?FEMALECOUNT
(
CardinalityFn
(
KappaFn
?FEMALE
(
and
(
instance
?FEMALE
Human
)
(
attribute
?FEMALE
Female
)
(
inhabits
?FEMALE ?AREA)))))
(
equal
(
DivisionFn
?MALECOUNT ?FEMALECOUNT) ?REALNUMBER)))
People.kif 206-223
The
male
to female ratio of
a geopolitical area
is
equal
to
a real number
if and only if
an integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
and
another integer
is
equal
to the number of
instances
in the
class
described by
another symbolic string
and
the integer
and
the other integer
is
equal
to
the real number
(<=>
(
exists
(?Rate)
(
fixedInterestRate
?Account ?Rate))
(
instance
?Account
FixedRateAccount
))
FinancialOntology.kif 981-984
There exists
a number
such that
the number
is a
fixed
interest rate of
a financial account
if and only if
the financial account
is an
instance
of
fixed rate account
(<=>
(
exportPartnerByFractionInPeriod
?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
exportPartnerByFraction
?AREA1 ?AREA2 ?FRACTION)))))
Economy.kif 2549-2554
A geopolitical area
export
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
export
partner by fraction
the other geopolitical area
for
the positive real number
holds
during
the time position
(<=>
(
exportPartnerByRankInPeriod
?AREA1 ?AREA2 ?NTH ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
exportPartnerByRank
?AREA1 ?AREA2 ?NTH)))))
Economy.kif 2511-2516
A geopolitical area
export
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
export
partner by rank
the other geopolitical area
for
the positive integer
holds
during
the time position
(<=>
(
exportPartnerInPeriod
?AGENT1 ?AGENT2 ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
exportPartner
?AGENT1 ?AGENT2)))))
Economy.kif 2387-2392
An agent
export
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
export
partner of
the agent
holds
during
the time position
(<=>
(
externalDebtInPeriod
?COUNTRY ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
externalDebt
?COUNTRY ?AMOUNT)))))
Economy.kif 2775-2780
A geopolitical area
is
external
debt 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 an
external
debt of
the geopolitical area
holds
during
the time position
(<=>
(
highestDecileShareOfHouseholdIncomeInPeriod
?AREA ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
highestDecileShareOfHouseholdIncome
?AREA ?FRACTION)))))
Economy.kif 1279-1284
A geopolitical area
is
highest
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
highest
decile share of household income of
the geopolitical area
holds
during
the time position
(<=>
(
holdsDuring
?T
(
attribute
?A
Barefoot
))
(
holdsDuring
?T
(
not
(
exists
(?S)
(
and
(
instance
?S
Shoe
)
(
wears
?A ?S))))))
Mid-level-ontology.kif 30132-30140
Barefoot
is an
attribute
of
an entity
holds
during
a time position
if and only if there doesn't exist
another entity
such that
the other entity
is an
instance
of
shoe
and
the entity
wear
s
the other entity
holds
during
the time position
(<=>
(
holdsDuring
?T
(
attribute
?A
Naked
))
(
holdsDuring
?T
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
wears
?A ?C))))))
Mid-level-ontology.kif 30145-30153
Naked
is an
attribute
of
an entity
holds
during
a time position
if and only if there doesn't exist
another entity
such that
the other entity
is an
instance
of
clothing
and
the entity
wear
s
the other entity
holds
during
the time position
(<=>
(
holdsDuring
?T
(
attribute
?H
Alone
))
(
not
(
exists
(?H2 ?SI)
(
and
(
not
(
equal
?H ?H2))
(
instance
?H2
AutonomousAgent
)
(
instance
?SI
SocialInteraction
)
(
during
(
WhenFn
?SI) ?T)
(
involvedInEvent
?SI ?H)
(
involvedInEvent
?SI ?H2)))))
Mid-level-ontology.kif 30223-30236
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 30271-30279
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
(<=>
(
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
(<=>
(
instance
?B
Bull
)
(
and
(
instance
?B
Cattle
)
(
attribute
?B
Female
)))
Mid-level-ontology.kif 20200-20204
An object
is an
instance
of
bull
if and only if
the object
is an
instance
of
cattle
and
female
is an
attribute
of
the object
(<=>
(
instance
?B
Bull
)
(
and
(
instance
?B
Cattle
)
(
attribute
?B
Male
)))
Mid-level-ontology.kif 20218-20222
An object
is an
instance
of
bull
if and only if
the object
is an
instance
of
cattle
and
male
is an
attribute
of
the object
(<=>
(
instance
?BONE
Bone
)
(
exists
(?SKELETON)
(
and
(
or
(
instance
?SKELETON
Skeleton
)
(
instance
?SKELETON
Exoskeleton
))
(
part
?BONE ?SKELETON))))
Mid-level-ontology.kif 11682-11689
An object
is an
instance
of
bone
if and only if there exists
another object
such that
the other object
is an
instance
of
skeleton
or
the other object
is an
instance
of
exoskeleton
and
the object
is a
part
of
the other object
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