Animal
(Animal)
(=>
(
instance
?CONFINE
Confining
)
(
exists
(?AGENT)
(
and
(
instance
?AGENT
Animal
)
(
patient
?CONFINE ?AGENT))))
Merge.kif 12205-12210
Processo
e' uma
instancia
de
Confinar
Entidade
Entidade
e' uma
instancia
de
Animal
Entidade
e' um
patient
de
Processo
(=>
(
instance
?D
Dish
)
(
hasPurpose
?D
(
exists
(?F ?E)
(
and
(
instance
?E
Eating
)
(
patient
?E ?F)
(
patient
?E ?D)
(
instance
?F
(
FoodForFn
Animal
))
(
located
?F ?D)))))
Mid-level-ontology.kif 4433-4442
Fisico
e' uma
instancia
de
Dish
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
patient
de
Entidade
Fisico
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
FoodForFn
Animal
Entidade
e'
situado
em
Fisico
(=>
(
instance
?FD
FoodDistributionOperation
)
(
exists
(?FOOD ?CA)
(
and
(
instance
?FOOD
(
FoodForFn
Animal
))
(
instance
?CA
CognitiveAgent
)
(
patient
?FD ?FOOD)
(
destination
?FD ?CA)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?FD))
(
possesses
?CA ?FOOD)))))
Military.kif 62-71
Processo
e' uma
instancia
de
FoodDistributionOperation
Entidade
Entidade
Entidade
e' uma
instancia
de
FoodForFn
Animal
Entidade
e' uma
instancia
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Processo
termina
em
Entidade
Entidade
possui
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
instance
?GROUP
GroupOfAnimals
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?GROUP)
(
and
(
instance
?MEMBER
Animal
)
(
not
(
instance
?MEMBER
Human
))))))
Mid-level-ontology.kif 7480-7487
Colecao
e' uma
instancia
de
GroupOfAnimals
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Animal
Fisico
e' uma
instancia
de
Humano
(=>
(
instance
?H
Hunting
)
(
exists
(?T)
(
and
(
instance
?T
Animal
)
(
patient
?H ?T))))
Merge.kif 12903-12908
Processo
e' uma
instancia
de
Hunting
Entidade
Entidade
e' uma
instancia
de
Animal
Entidade
e' um
patient
de
Processo
(=>
(
instance
?INJECT
Injecting
)
(
exists
(?SUBSTANCE ?ANIMAL)
(
and
(
patient
?INJECT ?SUBSTANCE)
(
instance
?SUBSTANCE
BiologicallyActiveSubstance
)
(
attribute
?SUBSTANCE
Liquid
)
(
destination
?INJECT ?ANIMAL)
(
instance
?ANIMAL
Animal
))))
Merge.kif 11438-11446
Processo
e' uma
instancia
de
Injecting
Objeto
Entidade
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Substancia Biologica Ativa
Liquid
e' um
atributo
de
Objeto
Processo
termina
em
Entidade
Entidade
e' uma
instancia
de
Animal
(=>
(
instance
?ITEM
Livestock
)
(
instance
?ITEM
Animal
))
Economy.kif 4892-4894
Entidade
e' uma
instancia
de
Livestock
Entidade
e' uma
instancia
de
Animal
(=>
(
instance
?LEG
Leg
)
(
exists
(?ANIMAL)
(
and
(
instance
?ANIMAL
Animal
)
(
part
?LEG ?ANIMAL))))
Mid-level-ontology.kif 12675-12680
Objeto
e' uma
instancia
de
Leg
Objeto
Objeto
e' uma
instancia
de
Animal
Objeto
e' uma &parte de
Objeto
(=>
(
instance
?M
Meat
)
(
exists
(?DA ?AC)
(
and
(
instance
?DA
(
DeadFn
?AC))
(
part
?M ?DA)
(
subclass
?AC
Animal
))))
Food.kif 1909-1915
Objeto
e' uma
instancia
de
Carne
Objeto
Objeto Organico
Objeto
e' uma
instancia
de
DeadFn
Objeto Organico
Objeto
e' uma &parte de
Objeto
Objeto Organico
e' uma
sub
-classe de
Animal
(=>
(
instance
?MEAT
Meat
)
(
forall
(?PART)
(=>
(
part
?PART ?MEAT)
(
exists
(?SUBPART ?TIME ?ANIMAL)
(
and
(
part
?SUBPART ?PART)
(
holdsDuring
?TIME
(
and
(
instance
?ANIMAL
Animal
)
(
part
?SUBPART ?ANIMAL))))))))
Merge.kif 14884-14895
Objeto
e' uma
instancia
de
Carne
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
Posicao Temporal
and
Entidade
Objeto
e' uma &parte de
Objeto
Entidade
e' uma
instancia
de
Animal
Objeto
e' uma &parte de
Entidade
vale
durante
Posicao Temporal
(=>
(
instance
?N
Needle
)
(
hasPurpose
?N
(
exists
(?H ?TP ?F ?RI)
(
and
(
instance
?H
Animal
)
(
instance
?TP
TherapeuticProcss
)
(
attribute
?F
Fluid
)
(
patient
?TP ?H)
(
instrument
?TP ?N)
(
or
(
instance
?RI
Removing
)
(
instance
?RI
Inserting
))
(
subProcess
?RI ?TP)
(
objectTransferred
?RI ?F)))))
Medicine.kif 924-938
Fisico
e' uma
instancia
de
Needle
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Animal
Entidade
e' uma
instancia
de
TherapeuticProcss
Fluid
e' um
atributo
de
Entidade
Entidade
e' um
patient
de
Entidade
Fisico
e' um
instrumento
para
Entidade
Entidade
e' uma
instancia
de
Remover
Entidade
e' uma
instancia
de
Inserting
Entidade
e' um
sub
-processo de
Entidade
objectTransferred
Entidade
and
Entidade
(=>
(
instance
?OT
OrganTransplant
)
(
exists
(?H ?O ?P)
(
and
(
instance
?H
Animal
)
(
instance
?O
Organ
)
(
instance
?P
Putting
)
(
subProcess
?P ?OT)
(
objectTransferred
?P ?O)
(
destination
?P ?H))))
Medicine.kif 4642-4651
Processo
e' uma
instancia
de
OrganTransplant
Entidade
Objeto
and
Transferencia
Entidade
e' uma
instancia
de
Animal
Objeto
e' uma
instancia
de
Orgao
Transferencia
e' uma
instancia
de
Colocar
Transferencia
e' um
sub
-processo de
Processo
objectTransferred
Transferencia
and
Objeto
Transferencia
termina
em
Entidade
(=>
(
instance
?OT
OrganTransplant
)
(
exists
(?H ?O)
(
and
(
instance
?H
Animal
)
(
instance
?O
Organ
)
(
needs
?H ?O))))
Medicine.kif 4634-4640
Entidade
e' uma
instancia
de
OrganTransplant
Agente Cognitivo
Fisico
Agente Cognitivo
e' uma
instancia
de
Animal
Fisico
e' uma
instancia
de
Orgao
Agente Cognitivo
tem
necessidade
de
Fisico
(=>
(
instance
?P
AnimalProduct
)
(
exists
(?M ?A ?B)
(
and
(
instance
?M
Manufacture
)
(
result
?M ?P)
(
patient
?M ?A)
(
or
(
instance
?A
Animal
)
(
and
(
part
?B ?A)
(
instance
?B
AnatomicalStructure
))))))
Economy.kif 5013-5024
Entidade
e' uma
instancia
de
AnimalProduct
Processo
Objeto
and
Objeto
Processo
e' uma
instancia
de
Manufatura
Entidade
e' o
resultado
de
Processo
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Animal
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Estructura Anatomica
(=>
(
instance
?P
Pill
)
(
hasPurpose
?P
(
exists
(?A ?I)
(
and
(
instance
?A
Animal
)
(
instance
?I
Ingesting
)
(
experiencer
?I ?A)
(
objectTransferred
?I ?P)))))
Mid-level-ontology.kif 9255-9263
Fisico
e' uma
instancia
de
Pill
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Animal
Entidade
e' uma
instancia
de
Ingerir
Entidade
experimenta
Entidade
objectTransferred
Entidade
and
Fisico
(=>
(
instance
?PE
ProtectiveEyewear
)
(
hasPurpose
?PE
(
exists
(?PERSON ?FACE ?EYE ?COVER)
(
and
(
instance
?PERSON
Animal
)
(
instance
?FACE
Face
)
(
instance
?EYE
Eye
)
(
properPart
?EYE ?FACE)
(
properPart
?FACE ?PERSON)
(
wears
?PERSON ?PE)
(
instance
?COVER
Covering
)
(
agent
?COVER ?PE)
(
patient
?COVER ?FACE)))))
Cars.kif 3511-3524
Fisico
e' uma
instancia
de
ProtectiveEyewear
Fisico
tem por
fim
Fisico
RSON
Entidade
,
Entidade
and
Entidade
Fisico
RSON e' uma
instancia
de
Animal
Entidade
e' uma
instancia
de
Face
Entidade
e' uma
instancia
de
Eye
Entidade
e' uma &parte de
Entidade
Entidade
e' uma &parte de
Fisico
RSON
Fisico
RSON
usa
Fisico
Entidade
e' uma
instancia
de
Cobrir
Entidade
e' um
agente
de
Fisico
Entidade
e' um
patient
de
Entidade
(=>
(
instance
?PROCESS
PsychologicalProcess
)
(
exists
(?ANIMAL)
(
and
(
instance
?ANIMAL
Animal
)
(
experiencer
?PROCESS ?ANIMAL))))
Merge.kif 10377-10382
Processo
e' uma
instancia
de
Processo Psicologico
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Animal
AutonomousAgent
experimenta
Processo
(=>
(
instance
?RESIDENCE
AnimalResidence
)
(
hasPurpose
?RESIDENCE
(
exists
(?ANIMAL)
(
and
(
instance
?ANIMAL
Animal
)
(
not
(
instance
?ANIMAL
Human
))
(
inhabits
?ANIMAL ?RESIDENCE)))))
Mid-level-ontology.kif 6997-7004
Fisico
e' uma
instancia
de
AnimalResidence
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Animal
Entidade
e' uma
instancia
de
Humano
Entidade
vive
em
Fisico
(=>
(
instance
?S
Skeleton
)
(
exists
(?A)
(
and
(
instance
?A
Animal
)
(
interiorPart
?S ?A))))
Mid-level-ontology.kif 11662-11667
Objeto
e' uma
instancia
de
Skeleton
Objeto
Objeto
e' uma
instancia
de
Animal
Objeto
e' uma parte
interior
de
Objeto
(=>
(
instance
?SKIN
Skin
)
(
exists
(?SURFACE ?ANIMAL)
(
and
(
surface
?SURFACE ?ANIMAL)
(
part
?SKIN ?ANIMAL)
(
instance
?ANIMAL
Animal
)
(
overlapsSpatially
?SKIN ?SURFACE))))
Mid-level-ontology.kif 10991-10998
Objeto
e' uma
instancia
de
Skin
Objeto auto-conectado
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Animal
Objeto
engloba
Objeto auto-conectado
(=>
(
instance
?SPINE
PlantSpinoseStructure
)
(
modalAttribute
(
exists
(?I ?P ?A)
(
and
(
instance
?I
Inserting
)
(
instrument
?I ?SPINE)
(
instance
?A
Animal
)
(
patient
?I ?A)
(
causes
?I ?P)
(
instance
?P
Pain
)
(
experiencer
?P ?A)))
Possibility
))
Mid-level-ontology.kif 9587-9598
Entidade
e' uma
instancia
de
PlantSpinoseStructure
o argumento
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Inserting
Entidade
e' um
instrumento
para
Entidade
Entidade
e' uma
instancia
de
Animal
Entidade
e' um
patient
de
Entidade
Entidade
causa
Entidade
Entidade
e' uma
instancia
de
Pain
Entidade
experimenta
Entidade
tem a
forca
modal
de
Possibility
(=>
(
instance
?STORE
GroceryStore
)
(
exists
(?SELL ?FOOD)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?STORE)
(
patient
?SELL ?FOOD)
(
instance
?FOOD
(
FoodForFn
Animal
)))))
Mid-level-ontology.kif 7818-7825
AutonomousAgent
e' uma
instancia
de
GroceryStore
Processo
Entidade
Processo
e' uma
instancia
de
Vender
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
FoodForFn
Animal
(=>
(
instance
?SV
SafetyVest
)
(
hasPurpose
?SV
(
exists
(?PERSON ?SPECTATOR)
(
and
(
instance
?PERSON
Animal
)
(
instance
?SPECTATOR
Human
)
(
increasesLikelihood
(
wears
?PERSON ?SV)
(
exists
(?SEE)
(
and
(
instance
?SEE
Seeing
)
(
patient
?SEE ?PERSON)
(
experiencer
?SEE ?SPECTATOR))))
(
decreasesLikelihood
(
exists
(?SEE)
(
and
(
instance
?SEE
Seeing
)
(
patient
?SEE ?PERSON)
(
experiencer
?SEE ?SPECTATOR)))
(
exists
(?INJ)
(
and
(
instance
?INJ
Injuring
)
(
agent
?INJ ?SPECTATOR)
(
patient
?INJ ?PERSON))))))))
Cars.kif 3558-3582
Fisico
e' uma
instancia
de
SafetyVest
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Animal
Entidade
e' uma
instancia
de
Humano
Entidade
usa
Fisico
aumenta
a probabilidade de
Entidade
Entidade
e' uma
instancia
de
Visao
Entidade
e' um
patient
de
Entidade
Entidade
experimenta
Entidade
Entidade
Entidade
e' uma
instancia
de
Visao
Entidade
e' um
patient
de
Entidade
Entidade
experimenta
Entidade
diminui
a probabilidade de
Entidade
Entidade
e' uma
instancia
de
Ferir
Entidade
e' um
agente
de
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
instance
?T
MilitaryFoodTruck
)
(
capability
(
KappaFn
?P
(
and
(
instance
?P
Transportation
)
(
instance
?F
(
FoodForFn
Animal
))
(
patient
?P ?F)))
instrument
?T))
Military.kif 210-218
Objeto
e' uma
instancia
de
MilitaryFoodTruck
Objeto
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
instrument
(=>
(
instance
?TA
TopicalApplication
)
(
exists
(?M ?A ?S)
(
and
(
instance
?M
Medicine
)
(
instance
?A
Animal
)
(
instance
?S
Skin
)
(
part
?S ?A)
(
objectTransferred
?TA ?M)
(
destination
?M ?S))))
Mid-level-ontology.kif 12448-12457
Transferencia
e' uma
instancia
de
TopicalApplication
Objeto
Objeto
and
Objeto
Objeto
e' uma
instancia
de
Medicine
Objeto
e' uma
instancia
de
Animal
Objeto
e' uma
instancia
de
Skin
Objeto
e' uma &parte de
Objeto
objectTransferred
Transferencia
and
Objeto
Objeto
termina
em
Objeto
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