Human
(human)
(=>
(
and
(
instance
?H
Human
)
(
occupiesPosition
?H ?B ?O)
(
attribute
?B
Banker
))
(
instance
?O
BankFinancialOrganization
))
FinancialOntology.kif 3652-3657
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
BankFinancialOrganization
(=>
(
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 3447-3476
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 2336-2351
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 2382-2397
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 23513-23526
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 25840-25852
If
an object
is an
instance
of
knock light
and
an agent
is an
instance
of
human
and
deaf
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 4195-4210
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 1753-1773
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 156-169
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
appointedPosition
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 233-239
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 22470-22475
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
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
(
and
(
playsRoleInEvent
?PARK
destination
?EVENT)
(
playsRoleInEvent
?TD
patient
?EVENT)
(
instance
?TD
TransportationDevice
)) ?AGENT))
TransportDetail.kif 49-59
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
the physical
plays
role in event
destination
for
an entity
and
another 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 7467-7474
If
a human
is an
instance
of
human
and the
descendants
of
the human
is
equal
to
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 1806-1812
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 1487-1494
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 1478-1485
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 742-751
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 634-638
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)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 561-574
If
a kind of body part
is an
instance
of
cervical vertebra bone
and
a kind of body part
is a
part
of
an object
and
the object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the object
,
then there exists
another kind of body part
such that
another kind of body part
is an
instance
of
cervical vertebra bone
and
the other kind of body part
is not
equal
to
the kind of body part
and
the other kind of body part
is a
part
of
the object
and a
the other kind of body part
is
connected
to a
the kind of body part
(=>
(
and
(
instance
?R
FalseRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
not
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connectedBodyPart
?S ?R)))))
Anatomy.kif 505-517
If
a kind of body part
is an
instance
of
costae spuriae
and
a kind of body part
is a
part
of
an object
and
the object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the object
,
then there doesn't exist
another kind of body part
such that
another kind of body part
is an
instance
of
sternum
and
the other kind of body part
is a
part
of
the object
and a
the other kind of body part
is
connected
to a
the kind of body part
(=>
(
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)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 601-614
If
a kind of body part
is an
instance
of
lumbar vertebra bone
and
a kind of body part
is a
part
of
an object
and
the object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the object
,
then there exists
another kind of body part
such that
another kind of body part
is an
instance
of
lumbar vertebra bone
and
the other kind of body part
is not
equal
to
the kind of body part
and
the other kind of body part
is a
part
of
the object
and a
the other kind of body part
is
connected
to a
the kind of body part
(=>
(
and
(
instance
?R
RadiatingLight
)
(
instance
?H
Human
)
(
instance
?S
Seeing
)
(
agent
?S ?H)
(
patient
?S ?R))
(
instance
?R
RadiatingVisibleLight
))
Mid-level-ontology.kif 624-631
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)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 669-682
If
a kind of body part
is an
instance
of
thoracic vertebra bone
and
a kind of body part
is a
part
of
an object
and
the object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the object
,
then there exists
another kind of body part
such that
another kind of body part
is an
instance
of
thoracic vertebra bone
and
the other kind of body part
is not
equal
to
the kind of body part
and
the other kind of body part
is a
part
of
the object
and a
the other kind of body part
is
connected
to a
the kind of body part
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