instance
(=>
(
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
?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
?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
(=>
(
and
(
attribute
?DEVICE ?ATTRIBUTE)
(
instance
?ATTRIBUTE
DeviceAttribute
))
(
instance
?DEVICE
Device
))
Mid-level-ontology.kif 1833-1837
If
an attribute
is an
attribute
of
an object
and
the attribute
is an
instance
of
device attribute
,
then
the object
is an
instance
of
device
(=>
(
and
(
attribute
?EXP ?ATTR)
(
instance
?ATTR
ExperimentAttribute
))
(
instance
?EXP
Experimenting
))
UXExperimentalTerms.kif 4407-4411
If
an attribute
is an
attribute
of
an object
and
the attribute
is an
instance
of
experiment attribute
,
then
the object
is an
instance
of
experimenting
(=>
(
and
(
attribute
?F
DecafAttribute
)
(
instance
?F
Food
))
(
not
(
exists
(?C)
(
and
(
instance
?C
Caffeine
)
(
piece
?C ?F)))))
Food.kif 437-445
If
decaf
is an
attribute
of
a substance
and
the substance
is an
instance
of
food
,
then there doesn't exist
another substance
such that
the other substance
is an
instance
of
caffeine
and
the other substance
is a
piece
of
the substance
(=>
(
and
(
attribute
?FOOD1
FamilyStylePortion
)
(
measure
?FOOD1
(
MeasureFn
?MEAS1 ?U))
(
not
(
attribute
?FOOD2
FamilyStylePortion
))
(
measure
?FOOD2
(
MeasureFn
?MEAS2 ?U))
(
instance
?FOOD1 ?CLASS)
(
instance
?FOOD2 ?CLASS)
(
instance
?U
UnitOfMeasure
))
(
greaterThan
?MEAS1 ?MEAS2))
Dining.kif 1165-1176
If
family-style portions
is an
attribute
of
an object
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
family-style portions
is not an
attribute
of
another object
and the
measure
of
the other object
is
another real number
the unit of measure
(s) and
the object
is an
instance
of
a class
and
the other object
is an
instance
of
the class
and
the unit of measure
is an
instance
of
unit of measure
,
then
the real number
is
greater
than
the other real number
(=>
(
and
(
attribute
?H ?D)
(
diseaseTreatment
?D ?P)
(
instance
?TP
TherpeuticProcess
)
(
agent
?TP ?DOC)
(
patient
?TP ?H)
(
attribute
?DOC
MedicalDoctor
))
(
modalAttribute
(
instance
?TP ?P)
Possibility
))
Medicine.kif 5824-5834
If
a disease or syndrome
is an
attribute
of
an object
and
a kind of therapeutic process
is a
treatment
for
the disease or syndrome
and
a process
is an
instance
of
TherpeuticProcess
and
the disease or syndrome
OC is an
agent
of
the process
and
the object
is a
patient
of
the process
and
medical doctor
is an
attribute
of
the disease or syndrome
OC,
then the statement
the process
is an
instance
of
a kind of therapeutic process
has the
modal
force
of
possibility
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Female
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 12))
Medicine.kif 172-187
If
anaemia
is an
attribute
of
an object
and
another object
is an
instance
of
blood
and
the other object
is a
part
of
the object
and
female
is an
attribute
of
the object
and the
measure
of
the other object
is 0.1
liter
(s) and
the object
E is an
instance
of
hemoglobin
and
the object
E is a
part
of
the other object
and
the object
E2 is not an
instance
of
hemoglobin
and
the object
E is not
equal
to
the object
E2 and
the object
2 is a
part
of
the other object
and the
measure
of
the object
E is
a real number
gram
(s),
then
the real number
is
less
than 12
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Male
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 13))
Medicine.kif 155-170
If
anaemia
is an
attribute
of
an object
and
another object
is an
instance
of
blood
and
the other object
is a
part
of
the object
and
male
is an
attribute
of
the object
and the
measure
of
the other object
is 0.1
liter
(s) and
the object
E is an
instance
of
hemoglobin
and
the object
E is a
part
of
the other object
and
the object
E2 is not an
instance
of
hemoglobin
and
the object
E is not
equal
to
the object
E2 and
the object
2 is a
part
of
the other object
and the
measure
of
the object
E is
a real number
gram
(s),
then
the real number
is
less
than 13
(=>
(
and
(
attribute
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3984-4004
If
attention deficit hyperactivity disorder
is an
attribute
of
an agent
and
attention deficit hyperactivity disorder
is not an
attribute
of
another agent
and
the agent
is not
equal
to
the other agent
and
a process
is an
instance
of
a class
and
another process
is an
instance
of
the class
and
the class
is a
subclass
of
intentional psychological process
and
the agent
is an
agent
of
the process
and
the other agent
is an
agent
of
the other process
and
duration
of the
time
of existence of
the process
is
a time duration
and
duration
of the
time
of existence of
the other process
is
another time duration
,
then the statement
the other time duration
is
greater
than
the time duration
has the
modal
force
of
likely
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