Human
(Umano)
(=>
(
and
(
instance
?H
Human
)
(
occupiesPosition
?H ?B ?O)
(
attribute
?B
Banker
))
(
instance
?O
BankFinancialOrganization
))
FinancialOntology.kif 3652-3657
Umano
è un'
istanza
di
Umano
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
attribute
Posizione
and
Banker
Organizzazione
è un'
istanza
di
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 3455-3484
WearableItem
è un'
istanza
di
HearingProtection
Animale
è un'
istanza
di
Umano
wears
Animale
and
WearableItem
WearableItem
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è una
sottoclasse
di la
classe
descritta da
Entit�
Entit�
impedisce
l'occorrenza di
Entit�
WearableItem
è uno
strumento
per
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
Processo
è un'
istanza
di
GravesDisease
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
è un'
istanza
di
Umano
Oggetto
è un'
istanza
di
ThyroidHormone
Oggetto
è una
parte
di
AutonomousAgent
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Oggetto
è un'
istanza
di
Umano
Oggetto
è un'
istanza
di
ThyroidHormone
Oggetto
è una
parte
di
Oggetto
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
attribute
Oggetto
and
Healthy
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
Processo
è un'
istanza
di
HashimotosThyroiditis
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
è un'
istanza
di
Umano
Oggetto
è un'
istanza
di
ThyroidHormone
Oggetto
è una
parte
di
AutonomousAgent
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Oggetto
è un'
istanza
di
Umano
Oggetto
è un'
istanza
di
ThyroidHormone
Oggetto
è una
parte
di
Oggetto
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
attribute
Oggetto
and
Healthy
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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 23512-23525
Imprigionare
è un'
istanza
di
Imprisoning
detainee
Imprigionare
and
Animale
Animale
è un'
istanza
di
Umano
Imprigionare
esistes
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
PlacingUnderArrest
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
PlacingUnderArrest
esistes
durante
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
PlacingUnderArrest
è un'
istanza
di
PlacingUnderArrest
arrested
PlacingUnderArrest
and
Animale
(=>
(
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 25828-25840
Oggetto
è un'
istanza
di
KnockLight
AutonomousAgent
è un'
istanza
di
Umano
attribute
AutonomousAgent
and
Deaf
AutonomousAgent
usa
Oggetto
Oggetto
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Impatto
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Door
AutonomousAgent
conosce
s
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
Processo
è un'
istanza
di
Misdiagnosing
Processo
è un
agente
di
AgenteCognitivo
Processo
include un
riferimento
a
Entit�
Entit�
è un'
istanza
di
Umano
AgenteCognitivo
IS
containsFormula
Processo
and
attribute
Entit�
and
AgenteCognitivo
IS
AgenteCognitivo
IS è un'
istanza
di
MalattiaOSindrome
AgenteCognitivo
crede
s
attribute
Entit�
and
AgenteCognitivo
IS
truth
attribute
Entit�
and
AgenteCognitivo
IS 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
è un'
istanza
di
MusicalTone
soundFrequency
MusicalTone
and
NumeroReale
Hertz
(s
loudness
MusicalTone
and
NumeroReale
Decibel
(s
MusicalTone
è
localizzato
in il luogo
dove
Umano
era in l'
inizio
di il
tempo
di esistenza di
MusicalTone
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di 250 8000 è
pi
ù grande di
NumeroReale
Umano
è un'
istanza
di
Umano
Processo
è un'
istanza
di
Listening
Processo
è un
agente
di
Umano
hearingAcuity
Umano
,
NumeroReale
Decibel
(s and
NumeroReale
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
Processo
è un'
istanza
di
Ordaining
Entit�Concreta
è un
paziente
di
Processo
Entit�Concreta
è un'
istanza
di
Umano
Entit�Concreta
è un
membro
di
Christianity
Processo
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Ceremony
Entit�
è un'
istanza
di
Appointing
Entit�
è un
sottoprocesso
di
Entit�
Entit�Concreta
è un
paziente
di
Entit�
appointedPosition
Entit�
,
Entit�Concreta
and
Cleric
(=>
(
and
(
instance
?ORG
Human
)
(
holdsDuring
?TIME
(
attribute
?ORG
FullyFormed
)))
(
holdsDuring
?TIME
(
instance
?ORG
HumanAdult
)))
Mid-level-ontology.kif 233-239
Entit�
è un'
istanza
di
Umano
attribute
Entit�
and
FullyFormed
vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di
HumanAdult
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?ORG
MilitaryOrganization
)
(
holdsDuring
?T1
(
member
?X ?ORG))
(
instance
?X
Human
))
(
holdsDuring
?T1
(
attribute
?X
MilitaryPerson
)))
Mid-level-ontology.kif 22469-22474
Entit�
è un'
istanza
di
MilitaryOrganization
Entit�
è un
membro
di
Entit�
vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di
Umano
attribute
Entit�
and
MilitaryPerson
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?ORGANISM
Human
)
(
attribute
?ORGANISM
Fever
))
(
exists
(?NUMBER)
(
and
(
measure
?ORGANISM
(
MeasureFn
?NUMBER
FahrenheitDegree
))
(
greaterThan
?NUMBER 98.6))))
WMD.kif 1110-1117
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
Fever
NumeroReale
la
misura
Oggetto
è
NumeroReale
FahrenheitDegree
(s
NumeroReale
è
pi
ù grande di 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
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
Criminal
Entit�
Processo
Entit�
è un'
istanza
di
CriminalAction
Processo
è un'
istanza
di
LegalConviction
Processo
include un
riferimento
a
Entit�
Oggetto
è un
paziente
di
Processo
(=>
(
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
Entit�Concreta
è un'
istanza
di
DisabledParking
AutonomousAgent
è un'
istanza
di
Umano
attribute
AutonomousAgent
and
Attributo
Attributo
è un'
istanza
di
Disability
Entit�Concreta
ha &n
scopo
playsRoleInEvent
Entit�Concreta
,
destination
and
Entit�
playsRoleInEvent
Entit�
,
patient
and
Entit�
Entit�
è un'
istanza
di
MezzoDiTrasporto
per
AutonomousAgent
(=>
(
and
(
instance
?PERSON
Human
)
(
equal
(
DescendantsFn
?PERSON) ?DESCENDANTS))
(
forall
(?MEMBER)
(<=>
(
member
?MEMBER ?DESCENDANTS)
(
ancestor
?MEMBER ?PERSON))))
Mid-level-ontology.kif 7466-7473
Umano
è un'
istanza
di
Umano
DescendantsFn
Umano
is
uguale
a
GruppoFamiliare
Organismo
Organismo
è un
membro
di
GruppoFamiliare
ancestor
Organismo
and
Umano
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1806-1812
Umano
è un'
istanza
di
Umano
Organizzazione
è un'
istanza
di
Organizzazione
Posizione
è un'
istanza
di
Posizione
attribute
Umano
and
MemberRoleFn
Organizzazione
and
Posizione
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
(=>
(
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
Umano
è un'
istanza
di
Umano
Posizione
è un'
istanza
di
Posizione
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
leaderPosition
AreaGeopolitica
and
Posizione
Umano
occupa la
posizione
di
Posizione
in
GovernmentFn
AreaGeopolitica
leader
AreaGeopolitica
and
Umano
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1478-1485
Umano
è un'
istanza
di
Umano
Posizione
è un'
istanza
di
Posizione
Organizzazione
è un'
istanza
di
AutonomousAgent
leaderPosition
Organizzazione
and
Posizione
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
leader
Organizzazione
and
Umano
(=>
(
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
è un'
istanza
di
Umano
Processo
è un'
istanza
di
Scrivere
Entit�
è un'
istanza
di
Testo
Entit�
è un'
istanza
di
Document
Entit�
è un
risultato
di
Processo
Processo
è un
agente
di
AutonomousAgent
attribute
AutonomousAgent
and
Writer
(=>
(
and
(
instance
?PILOT
Human
)
(
attribute
?PILOT
Pilot
))
(
hasSkill
FlyingAircraft
?PILOT))
Biography.kif 634-638
AutonomousAgent
è un'
istanza
di
Umano
attribute
AutonomousAgent
and
Pilot
AutonomousAgent
ha &n
la
capacità di fare
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
ParteDelCorpo
è un'
istanza
di
CervicalVertebraBone
ParteDelCorpo
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
MalattiaOSindrome
ParteDelCorpo
ParteDelCorpo
è un'
istanza
di
CervicalVertebraBone
ParteDelCorpo
is
uguale
a
ParteDelCorpo
ParteDelCorpo
è una
parte
di
Oggetto
connectedBodyPart
ParteDelCorpo
and
ParteDelCorpo
(=>
(
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
ParteDelCorpo
è un'
istanza
di
FalseRibBone
ParteDelCorpo
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
MalattiaOSindrome
ParteDelCorpo
ParteDelCorpo
è un'
istanza
di
Sternum
ParteDelCorpo
è una
parte
di
Oggetto
connectedBodyPart
ParteDelCorpo
and
ParteDelCorpo
(=>
(
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
ParteDelCorpo
è un'
istanza
di
LumbarVertebraBone
ParteDelCorpo
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
MalattiaOSindrome
ParteDelCorpo
ParteDelCorpo
è un'
istanza
di
LumbarVertebraBone
ParteDelCorpo
is
uguale
a
ParteDelCorpo
ParteDelCorpo
è una
parte
di
Oggetto
connectedBodyPart
ParteDelCorpo
and
ParteDelCorpo
(=>
(
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�
è un'
istanza
di
RadiazioneLuminosa
AutonomousAgent
è un'
istanza
di
Umano
Processo
è un'
istanza
di
Vista
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
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
ParteDelCorpo
è un'
istanza
di
ThoracicVertebraBone
ParteDelCorpo
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
MalattiaOSindrome
ParteDelCorpo
ParteDelCorpo
è un'
istanza
di
ThoracicVertebraBone
ParteDelCorpo
is
uguale
a
ParteDelCorpo
ParteDelCorpo
è una
parte
di
Oggetto
connectedBodyPart
ParteDelCorpo
and
ParteDelCorpo
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