Human
(Humano)
(=>
(
and
(
instance
?H
Human
)
(
occupiesPosition
?H ?B ?O)
(
attribute
?B
Banker
))
(
instance
?O
BankFinancialOrganization
))
FinancialOntology.kif 3652-3657
Humano
e' uma
instancia
de
Humano
Humano
ocupa a
posicao
de
Posicao
Organizacao
Banker
e' um
atributo
de
Posicao
Organizacao
e' uma
instancia
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
e' uma
instancia
de
HearingProtection
Animal
e' uma
instancia
de
Humano
Animal
usa
WearableItem
WearableItem
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma
sub
-classe de a
classe
descrita por
Entidade
Entidade
proibe
a ocurrencia de
Entidade
WearableItem
e' um
instrumento
para
Entidade
(=>
(
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
e' uma
instancia
de
GravesDisease
AutonomousAgent
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
Humano
Objeto
e' uma
instancia
de
ThyroidHormone
Objeto
e' uma &parte de
AutonomousAgent
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Humano
Objeto
e' uma
instancia
de
ThyroidHormone
Objeto
e' uma &parte de
Objeto
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Healthy
e' um
atributo
de
Objeto
Numero Real
e'
maior
que
Numero Real
(=>
(
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
e' uma
instancia
de
HashimotosThyroiditis
AutonomousAgent
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
Humano
Objeto
e' uma
instancia
de
ThyroidHormone
Objeto
e' uma &parte de
AutonomousAgent
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Humano
Objeto
e' uma
instancia
de
ThyroidHormone
Objeto
e' uma &parte de
Objeto
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Healthy
e' um
atributo
de
Objeto
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Confinar
e' uma
instancia
de
Imprisoning
detainee
Confinar
and
Animal
Animal
e' uma
instancia
de
Humano
Confinar
existe
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
PlacingUnderArrest
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
PlacingUnderArrest
existe
durante
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
PlacingUnderArrest
e' uma
instancia
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
Objeto
e' uma
instancia
de
KnockLight
AutonomousAgent
e' uma
instancia
de
Humano
Deaf
e' um
atributo
de
AutonomousAgent
AutonomousAgent
usa
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Impactar
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Door
AutonomousAgent
sabe
Entidade
(=>
(
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
e' uma
instancia
de
Misdiagnosing
Processo
e' um
agente
de
Agente Cognitivo
Processo
inclui uma
referencia
a
Entidade
Entidade
e' uma
instancia
de
Humano
Agente Cognitivo
IS
containsFormula
Processo
and
Agente Cognitivo
IS e' um
atributo
de
Entidade
Agente Cognitivo
IS e' uma
instancia
de
Doenca ou Sindrome
Agente Cognitivo
acredita
que
Agente Cognitivo
IS e' um
atributo
de
Entidade
truth
Agente Cognitivo
IS e' um
atributo
de
Entidade
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
e' uma
instancia
de
MusicalTone
soundFrequency
MusicalTone
and
Numero Real
Hertz
(s)
loudness
MusicalTone
and
Numero Real
Decibel
(s)
MusicalTone
e'
situado
em o lugar onde
Humano
estava em o
comeco
de
tempo
de existencia de
MusicalTone
Numero Real
e'
maior
que
Numero Real
Numero Real
e'
maior
que
Numero Real
Numero Real
e'
maior
que 250 8000 e'
maior
que
Numero Real
Humano
e' uma
instancia
de
Humano
Processo
e' uma
instancia
de
Listening
Processo
e' um
agente
de
Humano
hearingAcuity
Humano
,
Numero Real
Decibel
(s) and
Numero Real
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
e' uma
instancia
de
Ordaining
Fisico
e' um
patient
de
Processo
Fisico
e' uma
instancia
de
Humano
Fisico
e'
membro
de
Christianity
Processo
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Ceremony
Entidade
e' uma
instancia
de
Appointing
Entidade
e' um
sub
-processo de
Entidade
Fisico
e' um
patient
de
Entidade
appointedPosition
Entidade
,
Fisico
and
Cleric
(=>
(
and
(
instance
?ORG
Human
)
(
holdsDuring
?TIME
(
attribute
?ORG
FullyFormed
)))
(
holdsDuring
?TIME
(
instance
?ORG
HumanAdult
)))
Mid-level-ontology.kif 233-239
Entidade
e' uma
instancia
de
Humano
FullyFormed
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de
HumanAdult
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?ORG
MilitaryOrganization
)
(
holdsDuring
?T1
(
member
?X ?ORG))
(
instance
?X
Human
))
(
holdsDuring
?T1
(
attribute
?X
MilitaryPerson
)))
Mid-level-ontology.kif 22470-22475
Entidade
e' uma
instancia
de
MilitaryOrganization
Entidade
e'
membro
de
Entidade
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de
Humano
MilitaryPerson
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?ORGANISM
Human
)
(
attribute
?ORGANISM
Fever
))
(
exists
(?NUMBER)
(
and
(
measure
?ORGANISM
(
MeasureFn
?NUMBER
FahrenheitDegree
))
(
greaterThan
?NUMBER 98.6))))
WMD.kif 1110-1117
Objeto
e' uma
instancia
de
Humano
Fever
e' um
atributo
de
Objeto
Numero Real
a
medida
de
Objeto
e'
Numero Real
FahrenheitDegree
(s)
Numero Real
e'
maior
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
Objeto
e' uma
instancia
de
Humano
Criminal
e' um
atributo
de
Objeto
Entidade
Processo
Entidade
e' uma
instancia
de
CriminalAction
Processo
e' uma
instancia
de
LegalConviction
Processo
inclui uma
referencia
a
Entidade
Objeto
e' um
patient
de
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
Fisico
e' uma
instancia
de
DisabledParking
AutonomousAgent
e' uma
instancia
de
Humano
Atributo
e' um
atributo
de
AutonomousAgent
Atributo
e' uma
instancia
de
Disability
Fisico
tem
finalidade
playsRoleInEvent
Fisico
,
destination
and
Entidade
playsRoleInEvent
Entidade
,
patient
and
Entidade
Entidade
e' uma
instancia
de
Veiculo de Transporte
para
AutonomousAgent
(=>
(
and
(
instance
?PERSON
Human
)
(
equal
(
DescendantsFn
?PERSON) ?DESCENDANTS))
(
forall
(?MEMBER)
(<=>
(
member
?MEMBER ?DESCENDANTS)
(
ancestor
?MEMBER ?PERSON))))
Mid-level-ontology.kif 7467-7474
Humano
e' uma
instancia
de
Humano
DescendantsFn
Humano
e'
igual
a
Grupo Familiar
Organismo
Organismo
e'
membro
de
Grupo Familiar
ancestor
Organismo
and
Humano
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1806-1812
Humano
e' uma
instancia
de
Humano
Organizacao
e' uma
instancia
de
Organizacao
Posicao
e' uma
instancia
de
Posicao
MemberRoleFn
Organizacao
and
Posicao
e' um
atributo
de
Humano
Humano
ocupa a
posicao
de
Posicao
Organizacao
(=>
(
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
Humano
e' uma
instancia
de
Humano
Posicao
e' uma
instancia
de
Posicao
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
leaderPosition
Area Geopolitica
and
Posicao
Humano
ocupa a
posicao
de
Posicao
o
governo
de
Area Geopolitica
leader
Area Geopolitica
and
Humano
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1478-1485
Humano
e' uma
instancia
de
Humano
Posicao
e' uma
instancia
de
Posicao
Organizacao
e' uma
instancia
de
AutonomousAgent
leaderPosition
Organizacao
and
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
leader
Organizacao
and
Humano
(=>
(
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
e' uma
instancia
de
Humano
Processo
e' uma
instancia
de
Escrever
Entidade
e' uma
instancia
de
Texto
Entidade
e' uma
instancia
de
Document
Entidade
e' o
resultado
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Writer
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?PILOT
Human
)
(
attribute
?PILOT
Pilot
))
(
hasSkill
FlyingAircraft
?PILOT))
Biography.kif 634-638
AutonomousAgent
e' uma
instancia
de
Humano
Pilot
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
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
Parte do Corpo
e' uma
instancia
de
CervicalVertebraBone
Parte do Corpo
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Humano
Doenca ou Sindrome
e' um
atributo
de
Objeto
Parte do Corpo
Parte do Corpo
e' uma
instancia
de
CervicalVertebraBone
Parte do Corpo
e'
igual
a
Parte do Corpo
Parte do Corpo
e' uma &parte de
Objeto
connectedBodyPart
Parte do Corpo
and
Parte do Corpo
(=>
(
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
Parte do Corpo
e' uma
instancia
de
FalseRibBone
Parte do Corpo
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Humano
Doenca ou Sindrome
e' um
atributo
de
Objeto
Parte do Corpo
Parte do Corpo
e' uma
instancia
de
Sternum
Parte do Corpo
e' uma &parte de
Objeto
connectedBodyPart
Parte do Corpo
and
Parte do Corpo
(=>
(
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
Parte do Corpo
e' uma
instancia
de
LumbarVertebraBone
Parte do Corpo
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Humano
Doenca ou Sindrome
e' um
atributo
de
Objeto
Parte do Corpo
Parte do Corpo
e' uma
instancia
de
LumbarVertebraBone
Parte do Corpo
e'
igual
a
Parte do Corpo
Parte do Corpo
e' uma &parte de
Objeto
connectedBodyPart
Parte do Corpo
and
Parte do Corpo
(=>
(
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
Entidade
e' uma
instancia
de
Luz Irradiante
AutonomousAgent
e' uma
instancia
de
Humano
Processo
e' uma
instancia
de
Visao
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
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
Parte do Corpo
e' uma
instancia
de
ThoracicVertebraBone
Parte do Corpo
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Humano
Doenca ou Sindrome
e' um
atributo
de
Objeto
Parte do Corpo
Parte do Corpo
e' uma
instancia
de
ThoracicVertebraBone
Parte do Corpo
e'
igual
a
Parte do Corpo
Parte do Corpo
e' uma &parte de
Objeto
connectedBodyPart
Parte do Corpo
and
Parte do Corpo
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