and
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
or
(
instance
?GEO
Nation
)
(
instance
?GEO
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?GEO))
Mid-level-ontology.kif 22545-22552
A PostalPlace
is
located
at
a geopolitical area
and
the PostalPlace
is an
instance
of
PostalPlace
and
the geopolitical area
is an
instance
of
nation
or
the geopolitical area
is an
instance
of
dependency or special sovereignty area
if and only if
the PostalPlace
is in
the geopolitical area
(<=>
(
and
(
subsumesContentClass
?CLASS1 ?CLASS2)
(
subsumesContentClass
?CLASS2 ?CLASS1))
(
equivalentContentClass
?CLASS1 ?CLASS2))
Merge.kif 4331-4335
A kind of content bearing physical
subsume
s the content of
another kind of content bearing physical
and
another kind of content bearing physical
subsume
s the content of
a kind of content bearing physical
if and only if
the kind of content bearing physical
is
equivalent
to
the other kind of content bearing physical
(<=>
(
and
(
subsumesContentInstance
?OBJ1 ?OBJ2)
(
subsumesContentInstance
?OBJ2 ?OBJ1))
(
equivalentContentInstance
?OBJ1 ?OBJ2))
Merge.kif 4381-4385
A content bearing physical
subsume
s the content of
another content bearing physical
and
the other content bearing physical
subsume
s the content of
the content bearing physical
if and only if
the content bearing physical
is
equivalent
to
the other content bearing physical
(<=>
(
and
(
time
?PHYS ?TIME)
(
instance
?TIME
TimePoint
))
(
temporallyBetweenOrEqual
(
BeginFn
(
WhenFn
?PHYS)) ?TIME
(
EndFn
(
WhenFn
?PHYS))))
Merge.kif 7754-7758
A physical
exists
during
a time point
and
the time point
is an
instance
of
time point
if and only if
the time point
is
between
or at the
beginning
of the
time
of existence of
the physical
and the
end
of the
time
of existence of
the physical
(<=>
(
exists
(?BORROW)
(
and
(
instance
?BORROW
Borrowing
)
(
agent
?BORROW ?AGENT1)
(
origin
?BORROW ?AGENT2)
(
patient
?BORROW ?OBJECT)))
(
exists
(?LEND)
(
and
(
instance
?LEND
Lending
)
(
agent
?LEND ?AGENT2)
(
destination
?LEND ?AGENT1)
(
patient
?LEND ?OBJECT))))
Merge.kif 10951-10963
There exists
a process
such that
the process
is an
instance
of
borrowing
and
an agent
is an
agent
of
the process
and
the process
originate
s at
another agent
and
an entity
is a
patient
of
the process
if and only if there exists
another process
such that
the other process
is an
instance
of
lending
and
the other agent
is an
agent
of
the other process
and
the other process
end
s up at
the agent
and
the entity
is a
patient
of
the other process
(<=>
(
exists
(?BUILD)
(
and
(
instance
?BUILD
Constructing
)
(
result
?BUILD ?ARTIFACT)))
(
instance
?ARTIFACT
StationaryArtifact
))
Merge.kif 11892-11897
There exists
a process
such that
the process
is an
instance
of
constructing
and
an entity
is a
result
of
the process
if and only if
the entity
is an
instance
of
stationary artifact
(<=>
(
exists
(?BUY)
(
and
(
instance
?BUY
Buying
)
(
agent
?BUY ?AGENT1)
(
origin
?BUY ?AGENT2)
(
patient
?BUY ?OBJECT)))
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?AGENT2)
(
destination
?SELL ?AGENT1)
(
patient
?SELL ?OBJECT))))
Merge.kif 11113-11125
There exists
a process
such that
the process
is an
instance
of
buying
and
an agent
is an
agent
of
the process
and
the process
originate
s at
another agent
and
an entity
is a
patient
of
the process
if and only if there exists
another process
such that
the other process
is an
instance
of
selling
and
the other agent
is an
agent
of
the other process
and
the other process
end
s up at
the agent
and
the entity
is a
patient
of
the other process
(<=>
(
exists
(?EMIT)
(
and
(
instance
?EMIT
RadiatingLight
)
(
patient
?EMIT ?REGION)
(
instance
?REGION
Region
)))
(
attribute
?REGION
Illuminated
))
Merge.kif 12649-12655
There exists
a process
such that
the process
is an
instance
of
radiating light
and
an object
is a
patient
of
the process
and
the object
is an
instance
of
region
if and only if
illuminated
is an
attribute
of
the object
(<=>
(
exists
(?Income ?Tax ?TaxAmount)
(
and
(
incomeEarned
?Agent ?Income ?Activity)
(
amountCharged
?Tax ?TaxAmount)
(
causes
?Activity ?Tax)
(
equal
?ATIncome
(
SubtractionFn
?Income ?TaxAmount))))
(
afterTaxIncome
?Agent ?ATIncome ?Activity))
FinancialOntology.kif 3229-3236
There exist
a currency measure
,
a chargingA fee
and
the chargingA fee
Amount such that
a human
is
income
earned
the currency measure
for
an organizational process
and
the chargingA fee
Amount is the
amount
charged
in
the chargingA fee
and
the organizational process
cause
s
the chargingA fee
and
a third currency measure
is
equal
to (
the currency measure
and
the chargingA fee
Amount) if and only if the
after
tax
income
derived by
the human
from
the organizational process
is
the third currency measure
(<=>
(
exists
(?Period)
(
and
(
instance
?Loan
Loan
)
(
agreementPeriod
?Loan ?Period)
(
interestEarned
?Loan ?Amount ?Period)))
(
loanInterest
?Loan ?Amount))
FinancialOntology.kif 3762-3768
There exists
a time interval
such that
a loan
is an
instance
of
loan
and
the time interval
is an
agreement
period of
the loan
and
the loan
is
interest
earned
an interest
for
the time interval
if and only if
the interest
is a
loan
interest of
the loan
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock ?StockPrice ?Time)
(
strikePrice
?Option ?StrikePrice)
(
lessThan
?StockPrice ?StrikePrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 2966-2974
There exist
a financial instrument
,
the financial instrument
Price and
another currency measure
such that
an agreement
is an
instance
of
call option
and
the financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the financial instrument
Price for
an agent
and
the other currency measure
is a
strike
price of
the agreement
and
the financial instrument
Price is
less
than
the other currency measure
if and only if
the agent
is an
out
of the money of
the agreement
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock ?StockPrice ?Time)
(
strikePrice
?Option ?StrikePrice)
(
lessThan
?StrikePrice ?StockPrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 2923-2931
There exist
a financial instrument
,
the financial instrument
Price and
another currency measure
such that
an agreement
is an
instance
of
call option
and
the financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the financial instrument
Price for
an agent
and
the other currency measure
is a
strike
price of
the agreement
and
the other currency measure
is
less
than
the financial instrument
Price if and only if
the agent
is an
in
the money of
the agreement
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
Option
)
(
underlier
?Option ?Stock)
(
price
?Stock ?StockPrice ?Time)
(
strikePrice
?Option ?StrikePrice)
(
equal
?StockPrice ?StrikePrice)))
(
atTheMoney
?Option ?Time))
FinancialOntology.kif 2949-2957
There exist
a financial instrument
,
the financial instrument
Price and
another currency measure
such that
an agreement
is an
instance
of
option
and
the financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the financial instrument
Price for
an agent
and
the other currency measure
is a
strike
price of
the agreement
and
the financial instrument
Price is
equal
to
the other currency measure
if and only if
the agent
is an
at
the money of
the agreement
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock ?StockPrice ?Time)
(
strikePrice
?Option ?StrikePrice)
(
lessThan
?StockPrice ?StrikePrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 2933-2941
There exist
a financial instrument
,
the financial instrument
Price and
another currency measure
such that
an agreement
is an
instance
of
put option
and
the financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the financial instrument
Price for
an agent
and
the other currency measure
is a
strike
price of
the agreement
and
the financial instrument
Price is
less
than
the other currency measure
if and only if
the agent
is an
in
the money of
the agreement
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock ?StockPrice ?Time)
(
strikePrice
?Option ?StrikePrice)
(
lessThan
?StrikePrice ?StockPrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 2976-2984
There exist
a financial instrument
,
the financial instrument
Price and
another currency measure
such that
an agreement
is an
instance
of
put option
and
the financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the financial instrument
Price for
an agent
and
the other currency measure
is a
strike
price of
the agreement
and
the other currency measure
is
less
than
the financial instrument
Price if and only if
the agent
is an
out
of the money of
the agreement
(=>
(
and
(?ROLE ?EVENT ?OBJ)
(
instance
?ROLE
CaseRole
)
(
instance
?EVENT
Process
)
(
instance
?OBJ
Object
))
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT))
Mid-level-ontology.kif 21194-21200
If
a case role
a process
and
an object
and
the case role
is an
instance
of
case role
and
the process
is an
instance
of
process
and
the object
is an
instance
of
object
,
then
the object
plays
role in event
the case role
for
the process
(=>
(
and
(
ABPFn
?BUYINGS)
(
member
?BUYING ?BUYINGS))
(
instance
?BUYING
Buying
))
UXExperimentalTerms.kif 3436-3440
If the
average
price
of
a collection
and
an object
is a
member
of
the collection
,
then
the object
is an
instance
of
buying
(=>
(
and
(
ASPFn
?SELLINGS)
(
member
?SELLING ?SELLINGS))
(
instance
?SELLING
Selling
))
UXExperimentalTerms.kif 3479-3483
If the
average
selling
price
of
a collection
and
an object
is a
member
of
the collection
,
then
the object
is an
instance
of
selling
(=>
(
and
(
Process
?WW
WaterWave
)
(
waveHeight
?WW ?WH))
(
exists
(?LIST ?WA)
(
and
(
inList
?WH ?LIST)
(
instance
?WA
WaterArea
)
(
eventLocated
?WW ?WA)
(
significantWaveHeight
?WA
(
WhenFn
?WW)
(
MeasureFn
?SWH ?U))
(
equal
?SWH
(
MultiplicationFn
4
(
StandardDeviationFn
?LIST))))))
Weather.kif 1131-1145
If
process
a water wave
and
water wave
and
wave height
the water wave
and
a length measure
,
then there exist
a list
and
a water area
such that
the length measure
is a
member
of
the list
and
the water area
is an
instance
of
water area
and
the water wave
is
located
at
2
and
significant wave height
the water area
, the
time
of existence of
the water wave
and
a real number
an unit of measure
(s) and
the real number
is
equal
to 4 and
standard deviation
the list
(=>
(
and
(
abbreviatedDisplayTitle
?STRING ?CBP-TYPE ?LANGUAGE)
(
instance
?X ?CBP-TYPE))
(
abbreviation
?STRING ?X))
Media.kif 3133-3137
If
a symbolic string
is the
short
title
of
an entity
-TYPE in
a language
and
another entity
is an
instance
of
the entity
-TYPE,
then
the symbolic string
is an
abbreviation
of
the other entity
(=>
(
and
(
accountAtSite
?ACCOUNT ?SITE)
(
hasAccount
?USER ?ACCOUNT))
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 1074-1078
If
an user account
is an
account
at
a WebSite
and
an agent
has
account
the user account
,
then
the agent
is a
registered
user
of
the WebSite
(=>
(
and
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
customer
?Agent ?Bank))
FinancialOntology.kif 3520-3524
If
a cognitive agent
holds
account
a financial account
and
the financial account
is
held
by
a financial organization
,
then
the financial organization
is a
customer
of
the cognitive agent
(=>
(
and
(
acronym
?STRING ?THING)
(
inString
?CHAR ?STRING))
(
instance
?CHAR
AlphabeticCharacter
))
Media.kif 3011-3015
If
a symbolic string
is an
acronym
for
an entity
and
a character
is
part
of
the symbolic string
,
then
the character
is an
instance
of
alphabetic character
(=>
(
and
(
actedIn
?ACTOR ?O)
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))
(
holdsDuring
(
WhenFn
?PERF)
(
attribute
?ACTOR
Actor
)))
Mid-level-ontology.kif 18442-18449
If
actedIn
a human
and
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 16535-16541
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
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
