Human
(Humano)
(=>
(
and
(
instance
?V
Vending
)
(
objectTransferred
?V ?O)
(
not
(
instance
?O
Currency
)))
(
modalAttribute
(
or
(
instance
?O
(
FoodForFn
Human
))
(
instance
?O
Beverage
))
Likely
))
Mid-level-ontology.kif 1986-1995
Transferencia
e' uma
instancia
de
Vending
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Currency
o argumento
Objeto
e' uma
instancia
de
FoodForFn
Humano
Objeto
e' uma
instancia
de
Bebida
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3710-3751
Objeto
e' uma
instancia
de
CarAlarm
Objeto
e' uma
instancia
de
SelfPoweredRoadVehicle
Objeto
e' uma &parte de
Objeto
Entidade
Entidade
,
Entidade
and
Entidade
Objeto
tem por
fim
Entidade
e' uma
instancia
de
Stealing
Entidade
e' uma
instancia
de
Causar Dano
Entidade
e' uma
instancia
de
Humano
Entidade
e' um
agente
de
Entidade
Objeto
e' um
patient
de
Entidade
tempo
de existencia de
Entidade
e'
igual
a
Entidade
eventPartlyLocated
Entidade
and
Entidade
Entidade
Entidade
e' uma
instancia
de
Som Irradiante
Entidade
e' um
agente
de
Objeto
Entidade
causa
Entidade
Entidade
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e'
Near
em relacao a
Entidade
vale
durante
Entidade
aumenta
a probabilidade de
Entidade
sabe
Entidade
Entidade
e' uma
instancia
de
Stealing
Entidade
e' uma
instancia
de
Causar Dano
eventPartlyLocated
Entidade
and
Entidade
Objeto
e' um
patient
de
Entidade
vale
durante
Entidade
tempo
de existencia de
Entidade
termina
em
tempo
de existencia de
Entidade
(=>
(
and
(
instance
?X
ContentBearingObject
)
(
attribute
?X
Braille
))
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
attribute
?H
Blind
)
(
capability
Interpreting
agent
?H)
(
capability
Interpreting
patient
?X))))
Dining.kif 244-253
Objeto
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
Braille
e' um
atributo
de
Objeto
Objeto
Objeto
e' uma
instancia
de
Humano
Blind
e' um
atributo
de
Objeto
Objeto
e'
capaz
de fazer
Interpreting
no role
agent
Objeto
e'
capaz
de fazer
Interpreting
no role
patient
(=>
(
and
(
instance
?X
Respirator
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?X))
(
hasPurpose
?X
(
exists
(?INHAL ?INJ ?PROTECT ?I)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?X)
(
prevents
?PROTECT ?INJ)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
patient
?I ?H)
(
instance
?INHAL
Inhaling
)
(
agent
?INHAL ?H)
(
causes
?I ?INHAL))))))))))
Cars.kif 3531-3552
WearableItem
e' uma
instancia
de
Respirator
Animal
e' uma
instancia
de
Animal
Animal
usa
WearableItem
WearableItem
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
WearableItem
e' um
instrumento
para
Entidade
Entidade
proibe
a ocurrencia de
Entidade
Entidade
e' uma
sub
-classe de a
classe
descrita por
Entidade
(=>
(
and
(
instance
?X
WhirlpoolTub
)
(
attribute
?X
DoubleSize
))
(
modalAttribute
(
exists
(?T1)
(
holdsDuring
?T1
(
exists
(?P1 ?P2)
(
and
(
instance
?P1
Human
)
(
instance
?P2
Human
)
(
not
(
equal
?P1 ?P2))
(
located
?P1 ?X)
(
located
?P2 ?X)))))
Possibility
))
Mid-level-ontology.kif 25333-25346
Objeto
e' uma
instancia
de
WhirlpoolTub
DoubleSize
e' um
atributo
de
Objeto
o argumento
Entidade
Entidade
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Humano
Entidade
e'
igual
a
Entidade
Entidade
e'
situado
em
Objeto
Entidade
e'
situado
em
Objeto
vale
durante
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
numberOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL)
(
and
(
instance
?COL
GroupOfPeople
)
(
memberType
?COL
Human
)
(
memberCount
?COL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2864-2873
numberOccupant
HotelReservation
and
Numero Inteiro
fulfillingEntity
AutonomousAgent
and
HotelReservation
Colecao
Colecao
e' uma
instancia
de
GroupOfPeople
memberType
Colecao
and
Humano
memberCount
Colecao
and
Numero Inteiro
potentialCustomer
Colecao
and
AutonomousAgent
(=>
(
and
(
subordinatePosition
?ORG ?ROLE1 ?ROLE2)
(
occupiesPosition
?PERSON1 ?ROLE1 ?ORG))
(
exists
(?PERSON2)
(
and
(
instance
?PERSON2
Human
)
(
occupiesPosition
?PERSON2 ?ROLE2 ?ORG)
(
subordinateInOrganization
?ORG ?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 22753-22761
subordinatePosition
Organizacao
,
Posicao
and
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
Humano
Humano
e' uma
instancia
de
Humano
Humano
ocupa a
posicao
de
Posicao
Organizacao
subordinateInOrganization
Organizacao
,
Humano
and
Humano
(=>
(
and
(
viewType
?ROOM ?OBJ)
(
instance
?ROOM
Room
)
(
instance
?INST ?OBJ)
(
orientation
?INST ?ROOM
Outside
))
(
modalAttribute
(
exists
(?HUMAN ?SEE)
(
and
(
instance
?HUMAN
Human
)
(
located
?HUMAN ?ROOM)
(
instance
?SEE
Seeing
)
(
patient
?SEE ?INST)
(
agent
?SEE ?HUMAN)))
Possibility
))
Hotel.kif 954-967
viewType
Objeto
and
Fisico
Objeto
e' uma
instancia
de
Comodo
Objeto
e' uma
instancia
de
Fisico
Objeto
e'
Outside
em relacao a
Objeto
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e'
situado
em
Objeto
Entidade
e' uma
instancia
de
Visao
Objeto
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Entidade
tem a
forca
modal
de
Possibility
(=>
(
arrested
?ARREST ?OBJ)
(
or
(
instance
?OBJ
Human
)
(
instance
?OBJ
GroupOfPeople
)))
Mid-level-ontology.kif 23488-23492
arrested
PlacingUnderArrest
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
e' uma
instancia
de
GroupOfPeople
(=>
(
attribute
?COACH
Coach
)
(
exists
(?ATHLETE ?GAME ?EDUCATION)
(
and
(
instance
?ATHLETE
Human
)
(
instance
?GAME
Game
)
(
instance
?EDUCATION
EducationalProcess
)
(
agent
?EDUCATION ?COACH)
(
patient
?EDUCATION ?ATHLETE)
(
refers
?EDUCATION ?GAME))))
Sports.kif 524-533
Coach
e' um
atributo
de
AutonomousAgent
Entidade
Entidade
and
Processo
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Jogo
Processo
e' uma
instancia
de
Processo Educacional
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
inclui uma
referencia
a
Entidade
(=>
(
attribute
?X
BarberShops
)
(
hasPurpose
?X
(
exists
(?HAIR ?HUMAN ?CUT ?STYLIST)
(
and
(
instance
?HAIR
Hair
)
(
part
?HAIR ?HUMAN)
(
instance
?HUMAN
Human
)
(
instance
?CUT
Cutting
)
(
patient
?CUT ?HAIR)
(
eventLocated
?CUT ?X)
(
agent
?CUT ?STYLIST)
(
employs
?X ?STYLIST)))))
naics.kif 11934-11946
BarberShops
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Hair
Entidade
e' uma &parte de
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Cortar
Entidade
e' um
patient
de
Entidade
eventLocated
Entidade
and
Objeto
Entidade
e' um
agente
de
Entidade
Objeto
emprega
Entidade
(=>
(
attribute
?X
ExecutiveLevel
)
(
forall
(?Y)
(=>
(
and
(
instance
?Y
HotelRoom
)
(
located
?Y ?X))
(
hasPurpose
?Y
(
exists
(?HUMAN)
(
and
(
attribute
?HUMAN
BusinessExecutive
)
(
instance
?HUMAN
Human
)
(
stays
?HUMAN ?Y)))))))
Hotel.kif 1224-1236
ExecutiveLevel
e' um
atributo
de
Objeto
Fisico
Fisico
e' uma
instancia
de
HotelRoom
Fisico
e'
situado
em
Objeto
Fisico
tem por
fim
Entidade
BusinessExecutive
e' um
atributo
de
Entidade
Entidade
e' uma
instancia
de
Humano
stays
Entidade
and
Fisico
(=>
(
attribute
?X
FemaleExecutiveRoom
)
(
hasPurpose
?X
(
exists
(?HUMAN)
(
and
(
instance
?HUMAN
Human
)
(
attribute
?HUMAN
Female
)
(
attribute
?HUMAN
BusinessExecutive
)
(
stays
?HUMAN ?X)))))
Hotel.kif 1042-1050
FemaleExecutiveRoom
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Humano
Female
e' um
atributo
de
Entidade
BusinessExecutive
e' um
atributo
de
Entidade
stays
Entidade
and
Objeto
(=>
(
attribute
?X
HandicappedFriendly
)
(
exists
(?ATTR ?PERSON)
(
and
(
instance
?ATTR
Disability
)
(
instance
?PERSON
Human
)
(
attribute
?PERSON ?ATTR)
(
inScopeOfInterest
?PERSON ?X))))
Mid-level-ontology.kif 26182-26189
HandicappedFriendly
e' um
atributo
de
Objeto
Atributo
Agente Cognitivo
Atributo
e' uma
instancia
de
Disability
Agente Cognitivo
e' uma
instancia
de
Humano
Atributo
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
esta'
interessado
em
Objeto
(=>
(
attribute
?X
Multilingual
)
(
instance
?X
Human
))
Mid-level-ontology.kif 25744-25746
Multilingual
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Humano
(=>
(
attribute
?X
SnackAndNonalcoholicBeverageBars
)
(
hasPurpose
?X
(
exists
(?SELL ?FOOD)
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
instance
?SELL
Selling
)
(
patient
?SELL ?FOOD)
(
agent
?SELL ?X)))))
naics.kif 11668-11676
SnackAndNonalcoholicBeverageBars
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
FoodForFn
Humano
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Objeto
(=>
(
attribute
?X
Waiter
)
(
instance
?X
Human
))
Mid-level-ontology.kif 20597-20599
Waiter
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Humano
(=>
(
bloodVolume
?H ?V)
(
and
(
exists
(?B)
(
and
(
instance
?B
Blood
)
(
contains
?H ?B)
(
instance
?H
Human
)
(
measure
?B ?V)))
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Blood
)
(
contains
?H ?B2)
(
not
(
piece
?B2 ?B)))))))
Medicine.kif 5897-5912
bloodVolume
Humano
and
Medida de Volume
Substancia
Substancia
e' uma
instancia
de
Sangue
Humano
contem
Substancia
Humano
e' uma
instancia
de
Humano
a
medida
de
Substancia
e'
Medida de Volume
Substancia
2
Substancia
2 e' uma
instancia
de
Sangue
Humano
contem
Substancia
2
Substancia
2 e' uma
peca
de
Substancia
(=>
(
electionForPosition
?ELECTION ?ROLE)
(
exists
(?CANDIDATE)
(
and
(
instance
?CANDIDATE
Human
)
(
candidateForPosition
?ELECTION ?ROLE ?CANDIDATE))))
Government.kif 1753-1758
electionForPosition
Election
and
Role Social
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Humano
candidateForPosition
Election
,
Role Social
and
AutonomousAgent
(=>
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))
(
causes
(
exists
(?P ?H)
(
and
(
instance
?P
Perception
)
(
patient
?P ?H)
(
experiencer
?P ?A)
(
instance
?H
Human
)
(
during
(
WhenFn
?P) ?T)))
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))))
emotion.kif 865-877
InterpersonalDisgust
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
Entidade
Entidade
e' uma
instancia
de
Percepcao
Entidade
e' um
patient
de
Entidade
Entidade
experimenta
Entidade
Entidade
e' uma
instancia
de
Humano
tempo
de existencia de
Entidade
acontece
durante
Posicao Temporal
causa
InterpersonalDisgust
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))
(
exists
(?P ?H)
(
and
(
instance
?P
Perception
)
(
patient
?P ?H)
(
experiencer
?P ?A)
(
instance
?H
Human
)
(
not
(
equal
?H ?A))
(
during
(
WhenFn
?P) ?T))))
emotion.kif 852-863
InterpersonalDisgust
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
Entidade
Processo
e' uma
instancia
de
Percepcao
Entidade
e' um
patient
de
Processo
AutonomousAgent
experimenta
Processo
Entidade
e' uma
instancia
de
Humano
Entidade
e'
igual
a
AutonomousAgent
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
(=>
(
holdsDuring
?T
(
attribute
?X
SafetyPosition
))
(
holdsDuring
?T
(
hasPurpose
?X
(
exists
(?P ?H ?I ?T2)
(
and
(
instance
?H
Human
)
(
instance
?P
Process
)
(
patient
?P ?H)
(
agent
?P ?X)
(
prevents
?P
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(=>
(
holdsDuring
?T2
(
experiencer
?I ?H))
(
not
(
holdsDuring
?T2
(
patient
?P ?H))))))))))))
Mid-level-ontology.kif 30707-30727
SafetyPosition
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
tem por
fim
Entidade
Entidade
,
Entidade
and
Posicao Temporal
2
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Entidade
Entidade
proibe
a ocurrencia de a
classe
descrita por
Entidade
vale
durante
Posicao Temporal
(=>
(
holdsDuring
?TIME
(
attribute
?SLAVE
HumanSlave
))
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
not
(
equal
?PERSON ?SLAVE))
(
holdsDuring
?TIME
(
possesses
?PERSON ?SLAVE)))))
Mid-level-ontology.kif 176-183
HumanSlave
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e'
igual
a
Entidade
Entidade
possui
Entidade
vale
durante
Posicao Temporal
(=>
(
holdsDuring
?TIME
(
attribute
?T
Tourniquet
))
(
exists
(?P ?B ?A)
(
and
(
instance
?P
Human
)
(
instance
?B
Bleeding
)
(
instance
?A
Attaching
)
(
experiencer
?B ?P)
(
destination
?A ?P)
(
objectTransferred
?A ?T)
(
hasPurpose
?T
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Bleeding
)
(
overlapsTemporally
(
WhenFn
?B2)
(
ImmediateFutureFn
(
WhenFn
?A)))
(
experiencer
?B2 ?P))))))))
Medicine.kif 20-39
Tourniquet
e' um
atributo
de
Objeto
vale
durante
Objeto
IME
AutonomousAgent
Processo
and
Transferencia
AutonomousAgent
e' uma
instancia
de
Humano
Processo
e' uma
instancia
de
Bleeding
Transferencia
e' uma
instancia
de
Colar
AutonomousAgent
experimenta
Processo
Transferencia
termina
em
AutonomousAgent
objectTransferred
Transferencia
and
Objeto
Objeto
tem por
fim
Processo
2
Processo
2 e' uma
instancia
de
Bleeding
imediatemente
apos
tempo
de existencia de
Transferencia
engloba
tempo
de existencia de
Processo
2
AutonomousAgent
experimenta
Processo
2
(=>
(
instance
?A
Ambulance
)
(
hasPurpose
?A
(
exists
(?P ?T)
(
and
(
instance
?P
Human
)
(
or
(
attribute
?P
DiseaseOrSyndrome
)
(
exists
(?I ?H)
(
and
(
instance
?I
Injuring
)
(
experiencer
?I ?H)
(
before
?I ?T))))
(
instance
?T
Transportation
)
(
instrument
?T ?A)
(
patient
?T ?H)))))
Transportation.kif 1906-1921
Fisico
e' uma
instancia
de
Ambulance
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Humano
Doenca ou Sindrome
e' um
atributo
de
Entidade
Entidade
Entidade
Entidade
e' uma
instancia
de
Ferir
Entidade
experimenta
Entidade
Entidade
comeca
antes
de
Entidade
Entidade
e' uma
instancia
de
Transporte
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
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