Human
(humain)
(=>
(
and
(
instance
?H
Human
)
(
occupiesPosition
?H ?B ?O)
(
attribute
?B
Banker
))
(
instance
?O
BankFinancialOrganization
))
FinancialOntology.kif 3652-3657
Humain
est une
instance
de
humain
humain
occupe la
position
de
position
organisation
Banker
est un
attribut
de
position
organisation
est une
instance
de
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
WearableItem
est une
instance
de
HearingProtection
animal
est une
instance
de
humain
animal
porte
WearableItem
WearableItem
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
processus
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
entit�
previent
l'occurrence de
entit�
WearableItem
est un
instrument
pour
entit�
(=>
(
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
Processus
est une
instance
de
GravesDisease
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
humain
objet
est une
instance
de
ThyroidHormone
objet
est une
partie
de
AutonomousAgent
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
objet
est une
instance
de
humain
objet
est une
instance
de
ThyroidHormone
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
Healthy
est un
attribut
de
objet
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
Processus
est une
instance
de
HashimotosThyroiditis
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
humain
objet
est une
instance
de
ThyroidHormone
objet
est une
partie
de
AutonomousAgent
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
objet
est une
instance
de
humain
objet
est une
instance
de
ThyroidHormone
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
Healthy
est un
attribut
de
objet
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
Confiner
est une
instance
de
Imprisoning
detainee
confiner
and
animal
animal
est une
instance
de
humain
confiner
existe
pendant
interval temporel
interval temporel
est une
instance
de
interval temporel
PlacingUnderArrest
interval temporel
interval temporel
est une
instance
de
interval temporel
PlacingUnderArrest
existe
pendant
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
PlacingUnderArrest
est une
instance
de
PlacingUnderArrest
arrested
PlacingUnderArrest
and
animal
(=>
(
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
Objet
est une
instance
de
KnockLight
AutonomousAgent
est une
instance
de
humain
Deaf
est un
attribut
de
AutonomousAgent
AutonomousAgent
utilise
objet
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
impacte
entit�
est un
patient
de
entit�
entit�
est une
instance
de
Door
AutonomousAgent
conna
�t
entit�
(=>
(
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
Processus
est une
instance
de
Misdiagnosing
processus
est un
agent
de
agent cognitif
processus
inclut une
r
�f�rence �
entit�
entit�
est une
instance
de
humain
agent cognitif
IS
containsFormula
processus
and
agent cognitif
IS est un
attribut
de
entit�
agent cognitif
IS est une
instance
de
maladie ou syndrome
agent cognitif
croit
agent cognitif
IS est un
attribut
de
entit�
truth
agent cognitif
IS est un
attribut
de
entit�
and
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
MusicalTone
est une
instance
de
MusicalTone
soundFrequency
MusicalTone
and
nombre r�el
Hertz
(s)
loudness
MusicalTone
and
nombre r�el
Decibel
(s)
MusicalTone
est
situ
� � la place
o
�
humain
�tait � le
d
�but de
temps
d'existence de
MusicalTone
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que 250 8000 est
plus
grand
que
nombre r�el
humain
est une
instance
de
humain
processus
est une
instance
de
Listening
processus
est un
agent
de
humain
hearingAcuity
humain
,
nombre r�el
Decibel
(s) and
nombre r�el
Decibel
(s)
(=>
(
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
Processus
est une
instance
de
Ordaining
physique
est un
patient
de
processus
physique
est une
instance
de
humain
physique
est un
membre
de
Christianity
processus
a pour
but
entit�
entit�
entit�
est une
instance
de
Ceremony
entit�
est une
instance
de
Appointing
entit�
est un
sous
-processus de
entit�
physique
est un
patient
de
entit�
appointedPosition
entit�
,
physique
and
Cleric
(=>
(
and
(
instance
?ORG
Human
)
(
holdsDuring
?TIME
(
attribute
?ORG
FullyFormed
)))
(
holdsDuring
?TIME
(
instance
?ORG
HumanAdult
)))
Mid-level-ontology.kif 233-239
Entit�
est une
instance
de
humain
FullyFormed
est un
attribut
de
entit�
pendant
position temporel
entit�
est une
instance
de
HumanAdult
pendant
position temporel
(=>
(
and
(
instance
?ORG
MilitaryOrganization
)
(
holdsDuring
?T1
(
member
?X ?ORG))
(
instance
?X
Human
))
(
holdsDuring
?T1
(
attribute
?X
MilitaryPerson
)))
Mid-level-ontology.kif 22470-22475
Entit�
est une
instance
de
MilitaryOrganization
entit�
est un
membre
de
entit�
pendant
position temporel
entit�
est une
instance
de
humain
MilitaryPerson
est un
attribut
de
entit�
pendant
position temporel
(=>
(
and
(
instance
?ORGANISM
Human
)
(
attribute
?ORGANISM
Fever
))
(
exists
(?NUMBER)
(
and
(
measure
?ORGANISM
(
MeasureFn
?NUMBER
FahrenheitDegree
))
(
greaterThan
?NUMBER 98.6))))
WMD.kif 1110-1117
Objet
est une
instance
de
humain
Fever
est un
attribut
de
objet
nombre r�el
la
mesure
de
objet
est
nombre r�el
FahrenheitDegree
(s)
nombre r�el
est
plus
grand
que 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
Objet
est une
instance
de
humain
Criminal
est un
attribut
de
objet
entit�
processus
entit�
est une
instance
de
CriminalAction
processus
est une
instance
de
LegalConviction
processus
inclut une
r
�f�rence �
entit�
objet
est un
patient
de
processus
(=>
(
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
Physique
est une
instance
de
DisabledParking
AutonomousAgent
est une
instance
de
humain
attribut
est un
attribut
de
AutonomousAgent
attribut
est une
instance
de
Disability
physique
a le
but
playsRoleInEvent
physique
,
destination
and
entit�
playsRoleInEvent
entit�
,
patient
and
entit�
entit�
est une
instance
de
v�hicule de transport
pour
AutonomousAgent
(=>
(
and
(
instance
?PERSON
Human
)
(
equal
(
DescendantsFn
?PERSON) ?DESCENDANTS))
(
forall
(?MEMBER)
(<=>
(
member
?MEMBER ?DESCENDANTS)
(
ancestor
?MEMBER ?PERSON))))
Mid-level-ontology.kif 7467-7474
Humain
est une
instance
de
humain
DescendantsFn
humain
est
family groupe familiale
organisme
organisme
est un
membre
de
family groupe familiale
ancestor
organisme
and
humain
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1806-1812
Humain
est une
instance
de
humain
organisation
est une
instance
de
organisation
position
est une
instance
de
position
MemberRoleFn
organisation
and
position
est un
attribut
de
humain
humain
occupe la
position
de
position
organisation
(=>
(
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
Humain
est une
instance
de
humain
position
est une
instance
de
position
secteur g�opolitique
est une
instance
de
secteur g�opolitique
leaderPosition
secteur g�opolitique
and
position
humain
occupe la
position
de
position
le
gouvernment
de
secteur g�opolitique
leader
secteur g�opolitique
and
humain
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1478-1485
Humain
est une
instance
de
humain
position
est une
instance
de
position
organisation
est une
instance
de
AutonomousAgent
leaderPosition
organisation
and
position
humain
occupe la
position
de
position
organisation
leader
organisation
and
humain
(=>
(
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
AutonomousAgent
est une
instance
de
humain
processus
est une
instance
de
�crire
entit�
est une
instance
de
texte
entit�
est une
instance
de
Document
entit�
est le
resultat
de
processus
processus
est un
agent
de
AutonomousAgent
Writer
est un
attribut
de
AutonomousAgent
(=>
(
and
(
instance
?PILOT
Human
)
(
attribute
?PILOT
Pilot
))
(
hasSkill
FlyingAircraft
?PILOT))
Biography.kif 634-638
AutonomousAgent
est une
instance
de
humain
Pilot
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
FlyingAircraft
(=>
(
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
Partie du corps
est une
instance
de
CervicalVertebraBone
partie du corps
est une
partie
de
objet
objet
est une
instance
de
humain
maladie ou syndrome
est un
attribut
de
objet
partie du corps
partie du corps
est une
instance
de
CervicalVertebraBone
partie du corps
est
partie du corps
partie du corps
est une
partie
de
objet
connectedBodyPart
partie du corps
and
partie du corps
(=>
(
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
Partie du corps
est une
instance
de
FalseRibBone
partie du corps
est une
partie
de
objet
objet
est une
instance
de
humain
maladie ou syndrome
est un
attribut
de
objet
partie du corps
partie du corps
est une
instance
de
Sternum
partie du corps
est une
partie
de
objet
connectedBodyPart
partie du corps
and
partie du corps
(=>
(
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
Partie du corps
est une
instance
de
LumbarVertebraBone
partie du corps
est une
partie
de
objet
objet
est une
instance
de
humain
maladie ou syndrome
est un
attribut
de
objet
partie du corps
partie du corps
est une
instance
de
LumbarVertebraBone
partie du corps
est
partie du corps
partie du corps
est une
partie
de
objet
connectedBodyPart
partie du corps
and
partie du corps
(=>
(
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
Entit�
est une
instance
de
lumi�re irradiante
AutonomousAgent
est une
instance
de
humain
processus
est une
instance
de
voir
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est une
instance
de
RadiatingVisibleLight
(=>
(
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
Partie du corps
est une
instance
de
ThoracicVertebraBone
partie du corps
est une
partie
de
objet
objet
est une
instance
de
humain
maladie ou syndrome
est un
attribut
de
objet
partie du corps
partie du corps
est une
instance
de
ThoracicVertebraBone
partie du corps
est
partie du corps
partie du corps
est une
partie
de
objet
connectedBodyPart
partie du corps
and
partie du corps
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