Human
(human)
(=>
(
and
(
instance
?H
Human
)
(
occupiesPosition
?H ?B ?O)
(
attribute
?B
Banker
))
(
instance
?O
BankFinancialOrganization
))
FinancialOntology.kif 3670-3675
If
a human
is an
instance
of
human
and
the human
holds the
position
of
a position
in
an organization
and
banker
is an
attribute
of
the position
,
then
the organization
is an
instance
of
bank
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3508-3537
If
a wearable item
is an
instance
of
hearing protection
and
an animal
is an
instance
of
human
and
the animal
wear
s
the wearable item
,
then
the wearable item
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
process
and
the other entity
is a
subclass
of the
class
described by
the third entity
and
the entity
prevent
s the occurrence of
the other entity
and
the wearable item
is an
instrument
for
the entity
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N1 ?N2))
Medicine.kif 2334-2349
If
a process
is an
instance
of
Graves' disease
and
an agent
experience
s
the process
and
the agent
is an
instance
of
human
and
an object
is an
instance
of
thyroid hormone
and
the object
is a
part
of
the agent
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
another object
is an
instance
of
human
and
a third object
is an
instance
of
thyroid hormone
and
the third object
is a
part
of
the other object
and the
measure
of
the third object
is
another real number
the unit of measure
(s) and
healthy
is an
attribute
of
the other object
,
then
the real number
is
greater
than
the other real number
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N2 ?N1))
Medicine.kif 2380-2395
If
a process
is an
instance
of
Hashimoto's thyroiditis
and
an agent
experience
s
the process
and
the agent
is an
instance
of
human
and
an object
is an
instance
of
thyroid hormone
and
the object
is a
part
of
the agent
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
another object
is an
instance
of
human
and
a third object
is an
instance
of
thyroid hormone
and
the third object
is a
part
of
the other object
and the
measure
of
the third object
is
another real number
the unit of measure
(s) and
healthy
is an
attribute
of
the other object
,
then
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?IMPRISON
Imprisoning
)
(
detainee
?IMPRISON ?AGENT)
(
instance
?AGENT
Human
)
(
time
?IMPRISON ?INTERVAL)
(
instance
?INTERVAL
TimeInterval
))
(
exists
(?ARREST ?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
time
?ARREST ?TIME)
(
earlier
?TIME ?INTERVAL)
(
instance
?ARREST
PlacingUnderArrest
)
(
arrested
?ARREST ?AGENT))))
Mid-level-ontology.kif 25154-25167
If
a confining
is an
instance
of
imprisoning
and
an animal
is a
detainee
of
the confining
and
the animal
is an
instance
of
human
and
the confining
exists
during
a time interval
and
the time interval
is an
instance
of
time interval
,
then there exist
a placing under arrest
and
another time interval
such that
the other time interval
is an
instance
of
time interval
and
the placing under arrest
exists
during
the other time interval
and
the other time interval
happens
earlier
than
the time interval
and
the placing under arrest
is an
instance
of
placing under arrest
and
the animal
is placed under arrest during
the placing under arrest
(=>
(
and
(
instance
?KL
KnockLight
)
(
instance
?A
Human
)
(
attribute
?A
Deaf
)
(
uses
?KL ?A))
(
hasPurpose
?KL
(
exists
(?KNOCK ?DOOR)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
instance
?DOOR
Door
)
(
knows
?A ?KNOCK)))))
Mid-level-ontology.kif 27738-27750
If
an object
is an
instance
of
knock light
and
an agent
is an
instance
of
human
and
deafness
is an
attribute
of
the agent
and
the agent
use
s
the object
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
impacting
and
the other entity
is a
patient
of
the entity
and
the other entity
is an
instance
of
door
and
the agent
know
s
the entity
(=>
(
and
(
instance
?M
Misdiagnosing
)
(
agent
?M ?D)
(
refers
?M ?P)
(
instance
?P
Human
))
(
exists
(?DIS)
(
and
(
containsFormula
?M
(
attribute
?P ?DIS))
(
instance
?DIS
DiseaseOrSyndrome
)
(
believes
?D
(
attribute
?P ?DIS))
(
truth
(
attribute
?P ?DIS)
False
))))
Medicine.kif 4201-4216
If
a process
is an
instance
of
misdiagnosing
and
a cognitive agent
is an
agent
of
the process
and
the process
includes a
reference
to
an entity
and
the entity
is an
instance
of
human
,
then there exists
the cognitive agent
IS such that
the process
contains the formula
the cognitive agent
IS is an
attribute
of
the entity
and
the cognitive agent
IS is an
instance
of
disease or syndrome
and
the cognitive agent
believe
s
the cognitive agent
IS is an
attribute
of
the entity
and
the cognitive agent
IS is an
attribute
of
the entity
is
false
(=>
(
and
(
instance
?MT
MusicalTone
)
(
soundFrequency
?MT
(
MeasureFn
?FREQ
Hertz
))
(
loudness
?MT
(
MeasureFn
?LLB
Decibel
))
(
located
?MT
(
WhereFn
?H
(
BeginFn
(
WhenFn
?MT))))
(
greaterThan
?LLIMIT ?LLB)
(
greaterThan
?LLB ?ULIMIT)
(
greaterThan
?FREQ 250)
(
greaterThan
8000 ?FREQ)
(
instance
?H
Human
)
(
instance
?L
Listening
)
(
agent
?L ?H))
(
hearingAcuity
?H
(
MeasureFn
?LLIMIT
Decibel
)
(
MeasureFn
?ULIMIT
Decibel
)))
Medicine.kif 1746-1766
If
a musical tone
is an
instance
of
musical tone
and the
frequency
of
the musical tone
is
a real number
hertz
(s) and the
sound
of
the musical tone
is
another real number
dB(A)
(s) and
the musical tone
is
located
at the place
where
a human
was at the
beginning
of the
time
of existence of
the musical tone
and
a third real number
is
greater
than
the other real number
and
the other real number
is
greater
than
a fourth real number
and
the real number
is
greater
than 250 and 8000 is
greater
than
the real number
and
the human
is an
instance
of
human
and
a process
is an
instance
of
listening
and
the human
is an
agent
of
the process
,
then
the human
can hear frequency of
the third real number
dB(A)
(s) at
the fourth real number
dB(A)
(s) decibels
(=>
(
and
(
instance
?ORD
Ordaining
)
(
patient
?ORD ?X)
(
instance
?X
Human
)
(
member
?X
Christianity
))
(
hasPurpose
?ORD
(
exists
(?CER ?A)
(
and
(
instance
?CER
Ceremony
)
(
instance
?A
Appointing
)
(
subProcess
?A ?CER)
(
patient
?A ?X)
(
appointedPosition
?A ?X
Cleric
)))))
Biography.kif 161-174
If
a process
is an
instance
of
ordaining
and
a physical
is a
patient
of
the process
and
the physical
is an
instance
of
human
and
the physical
is a
member
of
christianity
,
then
the process
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
ceremony
and
the other entity
is an
instance
of
appointing
and
the other entity
is a
subprocess
of
the entity
and
the physical
is a
patient
of
the other entity
and
appointed position
the other entity
,
the physical
and
cleric
(=>
(
and
(
instance
?ORG
Human
)
(
holdsDuring
?TIME
(
attribute
?ORG
FullyFormed
)))
(
holdsDuring
?TIME
(
instance
?ORG
HumanAdult
)))
Mid-level-ontology.kif 226-232
If
an entity
is an
instance
of
human
and
fully formed
is an
attribute
of
the entity
holds
during
a time position
,
then
the entity
is an
instance
of
human adult
holds
during
the time position
(=>
(
and
(
instance
?ORG
MilitaryOrganization
)
(
holdsDuring
?T1
(
member
?X ?ORG))
(
instance
?X
Human
))
(
holdsDuring
?T1
(
attribute
?X
MilitaryPerson
)))
Mid-level-ontology.kif 24111-24116
If
an entity
is an
instance
of
military organization
and
another entity
is a
member
of
the entity
holds
during
a time position
and
the other entity
is an
instance
of
human
,
then
military person
is an
attribute
of
the other entity
holds
during
the time position
(=>
(
and
(
instance
?ORGANISM
Human
)
(
attribute
?ORGANISM
Fever
))
(
exists
(?NUMBER)
(
and
(
measure
?ORGANISM
(
MeasureFn
?NUMBER
FahrenheitDegree
))
(
greaterThan
?NUMBER 98.6))))
WMD.kif 1110-1117
If
an object
is an
instance
of
human
and
a fever
is an
attribute
of
the object
,
then there exists
a real number
such that the
measure
of
the object
is
the real number
fahrenheit degree
(s) and
the real number
is
greater
than 98.6
(=>
(
and
(
instance
?P
Human
)
(
attribute
?P
Criminal
))
(
exists
(?CA ?LC)
(
and
(
instance
?CA
CriminalAction
)
(
instance
?LC
LegalConviction
)
(
refers
?LC ?CA)
(
patient
?LC ?P))))
Justice.kif 87-96
If
an object
is an
instance
of
human
and
criminal
is an
attribute
of
the object
,
then there exist
an entity
and
a process
such that
the entity
is an
instance
of
criminal action
and
the process
is an
instance
of
legal conviction
and
the process
includes a
reference
to
the entity
and
the object
is a
patient
of
the process
(=>
(
and
(
instance
?PARK
DisabledParking
)
(
instance
?AGENT
Human
)
(
attribute
?AGENT ?ATTR)
(
instance
?ATTR
Disability
))
(
hasPurposeForAgent
?PARK
(
exists
(?EVENT ?TD)
(
and
(
instance
?EVENT
Putting
)
(
playsRoleInEvent
?PARK
destination
?EVENT)
(
playsRoleInEvent
?TD
patient
?EVENT)
(
instance
?TD
TransportationDevice
))) ?AGENT))
TransportDetail.kif 51-63
If
a physical
is an
instance
of
disabled parking
and
an agent
is an
instance
of
human
and
an attribute
is an
attribute
of
the agent
and
the attribute
is an
instance
of
disability
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
putting
and
the physical
plays
role in event
destination
for
the entity
and
the other entity
plays
role in event
patient
for
the entity
and
the other entity
is an
instance
of
transportation device
for
the agent
(=>
(
and
(
instance
?PERSON
Human
)
(
equal
(
DescendantsFn
?PERSON) ?DESCENDANTS))
(
forall
(?MEMBER)
(<=>
(
member
?MEMBER ?DESCENDANTS)
(
ancestor
?MEMBER ?PERSON))))
Mid-level-ontology.kif 8634-8641
If
a human
is an
instance
of
human
and
equal
the
descendants
of
the human
and
a family group
,
then for all
an organism
the organism
is a
member
of
the family group
if and only if
the human
is the
ancestor
of
the organism
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1768-1774
If
a human
is an
instance
of
human
and
an organization
is an
instance
of
organization
and
a position
is an
instance
of
position
and the
member
role of
the organization
and
the position
is an
attribute
of
the human
,
then
the human
holds the
position
of
the position
in
the organization
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?AREA
GeopoliticalArea
)
(
leaderPosition
?AREA ?ROLE)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?AREA)))
(
leader
?AREA ?PERSON))
Government.kif 1449-1456
If
a human
is an
instance
of
human
and
a position
is an
instance
of
position
and
a geopolitical area
is an
instance
of
geopolitical area
and
the position
is a
leader
position of
the geopolitical area
and
the human
holds the
position
of
the position
in the
government
of
the geopolitical area
,
then
the human
is a
leader
of
the geopolitical area
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1440-1447
If
a human
is an
instance
of
human
and
a position
is an
instance
of
position
and
an organization
is an
instance
of
agent
and
the position
is a
leader
position of
the organization
and
the human
holds the
position
of
the position
in
the organization
,
then
the human
is a
leader
of
the organization
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?WRITE
Writing
)
(
or
(
instance
?TEXT
Text
)
(
instance
?TEXT
Document
))
(
result
?WRITE ?TEXT)
(
agent
?WRITE ?PERSON))
(
attribute
?PERSON
Writer
))
Biography.kif 750-759
If
an agent
is an
instance
of
human
and
a process
is an
instance
of
writing
and
an entity
is an
instance
of
text
or
the entity
is an
instance
of
document
and
the entity
is a
result
of
the process
and
the agent
is an
agent
of
the process
,
then
writer
is an
attribute
of
the agent
(=>
(
and
(
instance
?PILOT
Human
)
(
attribute
?PILOT
Pilot
))
(
hasSkill
FlyingAircraft
?PILOT))
Biography.kif 642-646
If
an agent
is an
instance
of
human
and
pilot
is an
attribute
of
the agent
,
then
the agent
has the
skill
to do
flying
(=>
(
and
(
instance
?R
CervicalVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
CervicalVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connected
?S ?R))))
Anatomy.kif 576-589
If
an object
is an
instance
of
cervical vertebra bone
and
the object
is a
part
of
another object
and
the other object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the other object
,
then there exists
a third object
such that
the third object
is an
instance
of
cervical vertebra bone
and
equal
the third object
and
the object
and
the third object
is a
part
of
the other object
and
the third object
is
connected
to
the object
(=>
(
and
(
instance
?R
FalseRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
not
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connected
?S ?R)))))
Anatomy.kif 520-532
If
an object
is an
instance
of
costae spuriae
and
the object
is a
part
of
another object
and
the other object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the other object
,
then there doesn't exist
a third object
such that
the third object
is an
instance
of
sternum
and
the third object
is a
part
of
the other object
and
the third object
is
connected
to
the object
(=>
(
and
(
instance
?R
LumbarVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
LumbarVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connected
?S ?R))))
Anatomy.kif 616-629
If
an object
is an
instance
of
lumbar vertebra bone
and
the object
is a
part
of
another object
and
the other object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the other object
,
then there exists
a third object
such that
the third object
is an
instance
of
lumbar vertebra bone
and
equal
the third object
and
the object
and
the third object
is a
part
of
the other object
and
the third object
is
connected
to
the object
(=>
(
and
(
instance
?R
RadiatingLight
)
(
instance
?H
Human
)
(
instance
?S
Seeing
)
(
agent
?S ?H)
(
patient
?S ?R))
(
instance
?R
RadiatingVisibleLight
))
Mid-level-ontology.kif 617-624
If
an entity
is an
instance
of
radiating light
and
an agent
is an
instance
of
human
and
a process
is an
instance
of
seeing
and
the agent
is an
agent
of
the process
and
the entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
radiating visible light
(=>
(
and
(
instance
?R
ThoracicVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
ThoracicVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connected
?S ?R))))
Anatomy.kif 684-697
If
an object
is an
instance
of
thoracic vertebra bone
and
the object
is a
part
of
another object
and
the other object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the other object
,
then there exists
a third object
such that
the third object
is an
instance
of
thoracic vertebra bone
and
equal
the third object
and
the object
and
the third object
is a
part
of
the other object
and
the third object
is
connected
to
the 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