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 7168-7181
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 7632-7647
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 657-669
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
(
angleOfFire
?S ?A)
(
instrument
?S ?G)
(
instance
?G
Gun
)
(
part
?B ?G)
(
instance
?B
GunBarrel
)
(
instance
?L
FiniteLineInSpace
)
(
endPointsOfLineInSpace
?P1 ?P2 ?L)
(
objectEnds
?P1 ?P2 ?B)
(
eventLocated
?S ?R)
(
instance
?R
GeographicArea
)
part
?P ?R)
(
planeAngleMeasure
?L
(
LevelPlaneFn
?P
PlanetEarth
) ?A))
MilitaryDevices.kif 258-272
If the angleOfFire of
a shooting
an angle measure
is
the angle measure
and
an object
is an
instrument
for
the shooting
and
the object
is an
instance
of
gun
and
another object
is a
part
of
the object
and
the other object
is an
instance
of
gun barrel
and
a finite line in space
is an
instance
of
finite line in space
and
a PointinSpace
and
another PointinSpace
are end points of
the finite line in space
and
the PointinSpace
and
the other PointinSpace
are the end PointInSpace of object
the other object
and
the shooting
is
located
at
a third object
and
the third object
is an
instance
of
geographic area
and
part
and
a point in space
and
the third object
,
then the angle between
the finite line in space
and the
PlaneInSpace
is perpendicular to the line formed by
the point in space
and the centre of the
AstronomicalBody
. is
the angle measure
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?E
Extension
)
(
instrument
?E ?AC)
(
moves
?E ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Animal
))
(
capability
Flexion
instrument
?BC))
Mid-level-ontology.kif 12016-12027
If
a kind of muscle
and
another kind of muscle
are
antagonist
muscles and
a motion
is an
instance
of
extension
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
animal
,
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
Animal
))
(
capability
Extension
instrument
?BC))
Mid-level-ontology.kif 12003-12014
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
animal
,
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 33334-33341
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 19519-19530
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 2068-2078
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 2080-2094
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
(
arcLength
?A ?L)
(
equal
?A
CircularArc
))
(
exists
(?P ?P2)
(
and
(
pointOfFigure
?P ?A)
(
pointOfFigure
?P2 ?A)
(
not
(
equal
?P ?P2))
(
geometricDistance
?P ?P2 ?L))))
Mid-level-ontology.kif 5684-5694
If
a length measure
is the
LengthMeasure
of
a circular arc
and
the circular arc
is
equal
to
circular arc
,
then there exist
a geometric point
and
the geometric point
2 such that
the geometric point
is a
vertex
of
the circular arc
and
the geometric point
2 is a
vertex
of
the circular arc
and
the geometric point
is not
equal
to
the geometric point
2 and
the geometric point
is
geometric
distance
the geometric point
2 for
the length measure
(=>
(
and
(
arcLength
?SEMI
(
MeasureFn
?L ?U))
(
equal
?SEMI
SemicircularArc
))
(
exists
(?CIR ?C)
(
and
(
equal
?CIR
Circle
)
(
geometricPart
?SEMI ?CIR)
(
circumference
?CIR
(
MeasureFn
?C ?U))
(
equal
?C
(
AdditionFn
?L ?L)))))
Mid-level-ontology.kif 5700-5710
If
a real number
an unit of measure
(s) is the
LengthMeasure
of
a circular arc
and
the circular arc
is
equal
to
semicircular arc
,
then there exist
a circle
and
another real number
such that
the circle
is
equal
to
circle
and
the circle
is a
geometric
part of
the circular arc
and
circumference
the circle
and
the other real number
the unit of measure
(s) and
the other real number
is
equal
to (
the real number
and
the real number
)
(=>
(
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 480-484
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 229-236
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 4368-4377
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 765-784
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 1736-1741
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 1742-1747
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
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
