and
(=>
(
and
(
albumCoverImage
?A ?I)
(
instance
?CD
(
AlbumCopiesFn
?A ?DS))
(
contains
?C ?CD))
(
modalAttribute
(
part
?I
(
FrontFn
?C))
Likely
))
Music.kif 316-322
If
an image
is the
image
on
an album
and
an object
is an
instance
of the
set
of copies on
a kind of data storage device
of
the album
and
a self connected object
contain
s
the object
,
then the statement
the image
is a
part
of the
front
of
the self connected object
has the
modal
force
of
likely
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?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 6231-6244
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
UB
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
allergic reaction
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
(
amount
?S ?CO
(
MeasureFn
?N ?U))
(
instance
?SI ?S)
(
measure
?SI
(
MeasureFn
?N2 ?U))
(
part
?SI ?CO))
(
exists
(?L)
(
and
(
inList
(
MeasureFn
?N2 ?U) ?L)
(
equal
?L
(
AmountsFn
?S ?CO ?U))
(
equal
?N
(
ListSumFn
?L)))))
Merge.kif 7596-7611
If
amount
a kind of substance
,
a corpuscular object
and
a real number
an unit of mass
(s) and
a kind of substance
I is an
instance
of
the kind of substance
and the
measure
of
the kind of substance
I is
the real number
2
the unit of mass
(s) and
the kind of substance
I is a
part
of
the corpuscular object
,
then there exists
a list
such that
the real number
2
the unit of mass
(s) is a
member
of
the list
and
the list
is
equal
to
Amounts fn
the kind of substance
,
the corpuscular object
and
the unit of mass
and
the real number
is
equal
to the
sum
of
the list
(=>
(
and
(
amountDue
?Account ?Amount ?DueDate)
(
accountHolder
?Account ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Amount)
(
or
(
destination
?Payment
(
CurrencyFn
?Account))
(
origin
?Payment
(
CurrencyFn
?Account)))
(
date
?Payment ?Date)
(
beforeOrEqual
(
EndFn
?Date)
(
BeginFn
?DueDate)))) ?Agent))
FinancialOntology.kif 655-667
If
a financial account
amount
due
a currency measure
for
a time position
and
a cognitive agent
holds
account
the financial account
,
then
the cognitive agent
is
obliged
to perform tasks of type the
class
described by
a symbolic string
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?E
Extension
)
(
instrument
?E ?AC)
(
moves
?F ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Mammal
))
(
capability
Flexion
instrument
?BC))
Mid-level-ontology.kif 10685-10696
If
a kind of muscle
and
another kind of muscle
are
antagonist
muscles and
a process
is an
instance
of
extension
and
a kind of muscle
C is an
instrument
for
the process
and
another kind of muscle
C moves during
a motion
and
the kind of muscle
C is an
instance
of
the kind of muscle
and
the other kind of muscle
C is an
instance
of
the other kind of muscle
and
the kind of muscle
C is a
part
of
a third object
and
the other kind of muscle
C is a
part
of
the third object
and
the third object
is an
instance
of
mammal
,
then
the other kind of muscle
C is
capable
of doing
flexion
as a
instrument
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?F
Flexion
)
(
instrument
?F ?AC)
(
moves
?F ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Mammal
))
(
capability
Extension
instrument
?BC))
Mid-level-ontology.kif 10672-10683
If
a kind of muscle
and
another kind of muscle
are
antagonist
muscles and
a motion
is an
instance
of
flexion
and
a kind of muscle
C is an
instrument
for
the motion
and
another kind of muscle
C moves during
the motion
and
the kind of muscle
C is an
instance
of
the kind of muscle
and
the other kind of muscle
C is an
instance
of
the other kind of muscle
and
the kind of muscle
C is a
part
of
a third object
and
the other kind of muscle
C is a
part
of
the third object
and
the third object
is an
instance
of
mammal
,
then
the other kind of muscle
C is
capable
of doing
extension
as a
instrument
(=>
(
and
(
applicableRelation
?O ?R)
(
instance
?O ?OC)
(
domain
?R 1 ?DC))
(
or
(
equal
?OC ?DC)
(
subclass
?OC ?DC)))
Mid-level-ontology.kif 31387-31394
If
an object
can be an argument to
a relation
and
the object
is an
instance
of
the object
C and the number 1 argument of
the relation
is an
instance
of
another class
,
then
the object
C is
equal
to
the other class
or
the object
C is a
subclass
of
the other class
(=>
(
and
(
approximateDiameter
?O
(
MeasureFn
?L ?LM))
(
sphereRadius
?S
(
MeasureFn
(
DivisionFn
?L 2.0) ?LM))
(
measure
?S
(
MeasureFn
?V1 ?VM))
(
measure
?O
(
MeasureFn
?V2 ?VM))
(
instance
?LM
UnitOfLength
)
(
instance
?VM
UnitOfVolume
))
(
equal
?V1 ?V2))
Mid-level-ontology.kif 17948-17959
If the
approximate
diameter
of
a self connected object
is
a real number
the real number
M(s) and the
radius
of
an object
is
the real number
and 2.0
the real number
M(s) and the
measure
of
the object
is
another real number
another unit of measure
(s) and the
measure
of
the self connected object
is
a third real number
the other unit of measure
(s) and
the real number
M is an
instance
of
unit of length
and
the other unit of measure
is an
instance
of
unit of volume
,
then
the other real number
is
equal
to
the third real number
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
arableLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2080-2090
If
a real number
an unit of measure
(s) is an
arable
land area of
a geographic area
and
the real number
is
greater
than or equal to 0.0 and
another real number
the unit of measure
(s) is a
total
area of
the geographic area
and
the other real number
is an
instance
of
area measure
and
a third real number
is
equal
to
the real number
and
the other real number
,
then
the third real number
the unit of measure
(s) is an
arable
land area of
the geographic area
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2092-2106
If
a real number
an unit of measure
(s) is an
arable
land area of
a geographic area
and
the real number
is
greater
than or equal to 0.0 and
another real number
the unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
unit of area
,
then there exists
another geographic area
such that
the other geographic area
is an
instance
of
arable land
and
the other geographic area
is a
geographic
subregion of
the geographic area
and the
measure
of
the other geographic area
is
the real number
and
the other real number
the unit of measure
(s)
(=>
(
and
(
attribute
(
GovernmentFn
?AREA) ?TYPE)
(
instance
?TYPE
FormOfGovernment
))
(
governmentType
?AREA ?TYPE))
Government.kif 148-152
If
a form of government
is an
attribute
of the
government
of
a geopolitical area
and
the form of government
is an
instance
of
form of government
,
then
the form of government
is a
government
type of
the geopolitical area
(=>
(
and
(
attribute
?A ?ATTR)
(
instance
?ATTR
AlbumAttribute
))
(
instance
?A
Album
))
Music.kif 478-482
If
an attribute
is an
attribute
of
an object
and
the attribute
is an
instance
of
album attribute
,
then
the object
is an
instance
of
album
(=>
(
and
(
attribute
?A
AppraisalAsJustTreatment
)
(
instance
?AJT
AppraisalProcess
)
(
agent
?AJT ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AJT ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
wants
?A ?P))))
emotion.kif 374-387
If
appraisal as just treatment
is an
attribute
of
a cognitive agent
and
the cognitive agent
JT is an
instance
of
appraisal process
and
the cognitive agent
is an
agent
of
the cognitive agent
JT,
then there exist
another process
and
the cognitive agent
2 such that
the other process
is an
instance
of
process
and
the cognitive agent
JT includes a
reference
to
the other process
and
the cognitive agent
2 is an
agent
of
the other process
and
the cognitive agent
is not
equal
to
the cognitive agent
2 and
the cognitive agent
is a
patient
of
the other process
and
the cognitive agent
want
s
the other process
(=>
(
and
(
attribute
?A
AppraisalAsUnjustTreatment
)
(
instance
?AUJ
AppraisalProcess
)
(
agent
?AUJ ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AUJ ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
not
(
wants
?A ?P)))))
emotion.kif 349-363
If
appraisal as unjust treatment
is an
attribute
of
a cognitive agent
and
the cognitive agent
UJ is an
instance
of
appraisal process
and
the cognitive agent
is an
agent
of
the cognitive agent
UJ,
then there exist
another process
and
the cognitive agent
2 such that
the other process
is an
instance
of
process
and
the cognitive agent
UJ includes a
reference
to
the other process
and
the cognitive agent
2 is an
agent
of
the other process
and
the cognitive agent
is not
equal
to
the cognitive agent
2 and
the cognitive agent
is a
patient
of
the other process
and
the cognitive agent
doesn't
want
the other process
(=>
(
and
(
attribute
?A
Founder
)
(
instance
?A
Human
))
(
exists
(?PROC)
(
and
(
instance
?PROC
Founding
)
(
agent
?PROC ?A))))
Biography.kif 223-230
If
Founder
is an
attribute
of
an agent
and
the agent
is an
instance
of
human
,
then there exists
a process
such that
the process
is an
instance
of
founding
and
the agent
is an
agent
of
the process
(=>
(
and
(
attribute
?AC
TwoFactorAuthentication
)
(
loggedInDuring
?A ?AC ?T))
(
exists
(?TF)
(
and
(
instance
?TF
TwoFactorLoggingIn
)
(
agent
?TF ?A)
(
accountUsed
?TF ?AC)
(
earlier
(
WhenFn
?TF) ?T))))
ComputingBrands.kif 4373-4382
If
two-factor authentication
is an
attribute
of
an user account
and
an agent
is logged-in to
the user account
during
a time interval
,
then there exists
the time interval
F such that
the time interval
F is an
instance
of
two-factor login
and
the agent
is an
agent
of
the time interval
F and the
accountUsed
in
the time interval
F is
the user account
and the
time
of existence of
the time interval
F happens
earlier
than
the time interval
(=>
(
and
(
attribute
?ACCT ?ATTR)
(
instance
?ATTR
AccountAttribute
))
(
instance
?ACCT
UserAccount
))
UXExperimentalTerms.kif 648-652
If
an attribute
is an
attribute
of
an object
and
the attribute
is an
instance
of
account attribute
,
then
the object
is an
instance
of
user account
(=>
(
and
(
attribute
?ACTOR
VoiceActor
)
(
instance
?DRAMA
DramaticActing
)
(
agent
?DRAMA ?ACTOR)
(
instance
?SPEAK
LinguisticCommunication
)
(
agent
?SPEAK ?ACTOR)
(
subProcess
?SPEAK ?DRAMA))
(
and
(
not
(
exists
(?S ?VIEWER)
(
and
(
instance
?S
Seeing
)
(
patient
?S ?ACTOR)
(
agent
?S ?VIEWER))))
(
exists
(?H ?VIEWER)
(
and
(
instance
?H
Hearing
)
(
patient
?H ?ACTOR)
(
agent
?H ?VIEWER)))))
Biography.kif 757-776
If
voice actor
is an
attribute
of
an agent
and
a process
is an
instance
of
dramatic acting
and
the agent
is an
agent
of
the process
and
another process
is an
instance
of
linguistic communication
and
the agent
is an
agent
of
the other process
and
the other process
is a
subprocess
of
the process
,
then there don't exist
a third process
and
another agent
such that
the third process
is an
instance
of
seeing
and
the agent
is a
patient
of
the third process
and
the other agent
is an
agent
of
the third process
and there exist
a fourth process
and
the other agent
such that
the fourth process
is an
instance
of
hearing
and
the agent
is a
patient
of
the fourth process
and
the other agent
is an
agent
of
the fourth process
(=>
(
and
(
attribute
?AGENT
(
MemberFn
?ORG))
(
instance
?AGENT
AutonomousAgent
)
(
instance
?ORG
Organization
))
(
member
?AGENT ?ORG))
Government.kif 1774-1779
If the
member
of
an organization
is an
attribute
of
an object
and
the object
is an
instance
of
agent
and
the organization
is an
instance
of
organization
,
then
the object
is a
member
of
the organization
(=>
(
and
(
attribute
?AREA
CommunistState
)
(
instance
?AREA
Nation
))
(
economyType
?AREA
CentrallyPlannedEconomy
))
Economy.kif 865-869
If
communist state
is an
attribute
of
an agent
and
the agent
is an
instance
of
nation
,
then
centrally planned economy
is an
economy
type of
the agent
(=>
(
and
(
attribute
?AREA
FlatTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.005 ?SLOPE))
Geography.kif 1754-1759
If
flat terrain
is an
attribute
of
an object
and
a land area
is a
part
of
the object
and
a nonnegative real number
is a
slope
gradient of
the land area
,
then 0.005 is
greater
than
the nonnegative real number
(=>
(
and
(
attribute
?AREA
HighIncomeCountry
)
(
not
(
member
?AREA
OrganizationOfPetroleumExportingCountries
)))
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 506-510
If
high income country
is an
attribute
of
an agent
and
the agent
is not a
member
of
organization of petroleum exporting countries
,
then
developed country
is an
economy
type of
the agent
(=>
(
and
(
attribute
?AREA
LowTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.03 ?SLOPE))
Geography.kif 1766-1771
If
low terrain
is an
attribute
of
an object
and
a land area
is a
part
of
the object
and
a nonnegative real number
is a
slope
gradient of
the land area
,
then 0.03 is
greater
than
the nonnegative real number
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
exists
(?GAME)
(
and
(
instance
?GAME
Sport
)
(
contestParticipant
?GAME ?ATHLETE))))
Sports.kif 1363-1370
If
an attribute
is an
attribute
of
an agent
and
the attribute
is an
instance
of
professional athlete
,
then there exists
a contest
such that
the contest
is an
instance
of
sport
and
the agent
participates
in
the contest
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
hasSkill
Sport
?ATHLETE))
Sports.kif 1357-1361
If
an attribute
is an
attribute
of
an agent
and
the attribute
is an
instance
of
professional athlete
,
then
the agent
has the
skill
to do
sport
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