Animal
(Animale)
(=>
(
instance
?CONFINE
Confining
)
(
exists
(?AGENT)
(
and
(
instance
?AGENT
Animal
)
(
patient
?CONFINE ?AGENT))))
Merge.kif 12205-12210
Processo
è un'
istanza
di
Imprigionare
Entit�
Entit�
è un'
istanza
di
Animale
Entit�
è un
paziente
di
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
Entit�Concreta
è un'
istanza
di
Dish
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Mangiare
Entit�
è un
paziente
di
Entit�
Entit�Concreta
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
FoodForFn
Animale
Entit�
è
localizzato
in
Entit�Concreta
(=>
(
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
è un'
istanza
di
FoodDistributionOperation
Entit�
Entit�
Entit�
è un'
istanza
di
FoodForFn
Animale
Entit�
è un'
istanza
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Entit�
Entit�
possiede
es
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
instance
?GROUP
GroupOfAnimals
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?GROUP)
(
and
(
instance
?MEMBER
Animal
)
(
not
(
instance
?MEMBER
Human
))))))
Mid-level-ontology.kif 7480-7487
InsiemeConcreto
è un'
istanza
di
GroupOfAnimals
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Animale
Entit�Concreta
è un'
istanza
di
Umano
(=>
(
instance
?H
Hunting
)
(
exists
(?T)
(
and
(
instance
?T
Animal
)
(
patient
?H ?T))))
Merge.kif 12903-12908
Processo
è un'
istanza
di
Hunting
Entit�
Entit�
è un'
istanza
di
Animale
Entit�
è un
paziente
di
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
è un'
istanza
di
Injecting
Oggetto
Entit�
Oggetto
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
SostanzaBiologicamenteAttiva
attribute
Oggetto
and
Liquid
Processo
fine
s in
Entit�
Entit�
è un'
istanza
di
Animale
(=>
(
instance
?ITEM
Livestock
)
(
instance
?ITEM
Animal
))
Economy.kif 4892-4894
Entit�
è un'
istanza
di
Livestock
Entit�
è un'
istanza
di
Animale
(=>
(
instance
?LEG
Leg
)
(
exists
(?ANIMAL)
(
and
(
instance
?ANIMAL
Animal
)
(
part
?LEG ?ANIMAL))))
Mid-level-ontology.kif 12675-12680
Oggetto
è un'
istanza
di
Leg
Oggetto
Oggetto
è un'
istanza
di
Animale
Oggetto
è una
parte
di
Oggetto
(=>
(
instance
?M
Meat
)
(
exists
(?DA ?AC)
(
and
(
instance
?DA
(
DeadFn
?AC))
(
part
?M ?DA)
(
subclass
?AC
Animal
))))
Food.kif 1909-1915
Oggetto
è un'
istanza
di
Carne
Oggetto
Entit�Organica
Oggetto
è un'
istanza
di
DeadFn
Entit�Organica
Oggetto
è una
parte
di
Oggetto
Entit�Organica
è una
sottoclasse
di
Animale
(=>
(
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
Oggetto
è un'
istanza
di
Carne
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
PosizioneTemporale
and
Entit�
Oggetto
è una
parte
di
Oggetto
Entit�
è un'
istanza
di
Animale
Oggetto
è una
parte
di
Entit�
vales
durante
PosizioneTemporale
(=>
(
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
Entit�Concreta
è un'
istanza
di
Needle
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Animale
Entit�
è un'
istanza
di
TherapeuticProcss
attribute
Entit�
and
Fluid
Entit�
è un
paziente
di
Entit�
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è un'
istanza
di
Spostamento
Entit�
è un'
istanza
di
Inserting
Entit�
è un
sottoprocesso
di
Entit�
objectTransferred
Entit�
and
Entit�
(=>
(
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
è un'
istanza
di
OrganTransplant
Entit�
Oggetto
and
Trasferimento
Entit�
è un'
istanza
di
Animale
Oggetto
è un'
istanza
di
Organo
Trasferimento
è un'
istanza
di
Porre
Trasferimento
è un
sottoprocesso
di
Processo
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
fine
s in
Entit�
(=>
(
instance
?OT
OrganTransplant
)
(
exists
(?H ?O)
(
and
(
instance
?H
Animal
)
(
instance
?O
Organ
)
(
needs
?H ?O))))
Medicine.kif 4634-4640
Entit�
è un'
istanza
di
OrganTransplant
AgenteCognitivo
Entit�Concreta
AgenteCognitivo
è un'
istanza
di
Animale
Entit�Concreta
è un'
istanza
di
Organo
AgenteCognitivo
necessita
dis
Entit�Concreta
(=>
(
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
Entit�
è un'
istanza
di
AnimalProduct
Processo
Oggetto
and
Oggetto
Processo
è un'
istanza
di
Lavorazione
Entit�
è un
risultato
di
Processo
Oggetto
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Animale
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
StrutturaAnatomica
(=>
(
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
Entit�Concreta
è un'
istanza
di
Pill
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Animale
Entit�
è un'
istanza
di
Ingestione
Entit�
esperisce
s
Entit�
objectTransferred
Entit�
and
Entit�Concreta
(=>
(
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
Entit�Concreta
è un'
istanza
di
ProtectiveEyewear
Entit�Concreta
ha
scopo
Entit�Concreta
RSON
Entit�
,
Entit�
and
Entit�
Entit�Concreta
RSON è un'
istanza
di
Animale
Entit�
è un'
istanza
di
Face
Entit�
è un'
istanza
di
Eye
Entit�
è una
Parte
propria di
Entit�
Entit�
è una
Parte
propria di
Entit�Concreta
RSON
wears
Entit�Concreta
RSON and
Entit�Concreta
Entit�
è un'
istanza
di
Coprire
Entit�
è un
agente
di
Entit�Concreta
Entit�
è un
paziente
di
Entit�
(=>
(
instance
?PROCESS
PsychologicalProcess
)
(
exists
(?ANIMAL)
(
and
(
instance
?ANIMAL
Animal
)
(
experiencer
?PROCESS ?ANIMAL))))
Merge.kif 10377-10382
Processo
è un'
istanza
di
ProcessoPsicologico
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Animale
AutonomousAgent
esperisce
s
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
Entit�Concreta
è un'
istanza
di
AnimalResidence
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Animale
Entit�
è un'
istanza
di
Umano
Entit�
abita
s in
Entit�Concreta
(=>
(
instance
?S
Skeleton
)
(
exists
(?A)
(
and
(
instance
?A
Animal
)
(
interiorPart
?S ?A))))
Mid-level-ontology.kif 11662-11667
Oggetto
è un'
istanza
di
Skeleton
Oggetto
Oggetto
è un'
istanza
di
Animale
Oggetto
è una
parte
interiore di
Oggetto
(=>
(
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
Oggetto
è un'
istanza
di
Skin
OggettoIntegro
OggettoIntegro
OggettoIntegro
è una
superficie
di
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
OggettoIntegro
è un'
istanza
di
Animale
Oggetto
si
sovrappones a
OggettoIntegro
(=>
(
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
Entit�
è un'
istanza
di
PlantSpinoseStructure
l'affermazione
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Inserting
Entit�
è uno
strumento
per
Entit�
Entit�
è un'
istanza
di
Animale
Entit�
è un
paziente
di
Entit�
Entit�
causa
s
Entit�
Entit�
è un'
istanza
di
Pain
Entit�
esperisce
s
Entit�
ha il modello di forza di
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
è un'
istanza
di
GroceryStore
Processo
Entit�
Processo
è un'
istanza
di
Vendere
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
FoodForFn
Animale
(=>
(
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
Entit�Concreta
è un'
istanza
di
SafetyVest
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Animale
Entit�
è un'
istanza
di
Umano
wears
Entit�
and
Entit�Concreta
aumenta
s la verosimiglianza di
Entit�
Entit�
è un'
istanza
di
Vista
Entit�
è un
paziente
di
Entit�
Entit�
esperisce
s
Entit�
decreasesLikelihood
Entit�
Entit�
è un'
istanza
di
Vista
Entit�
è un
paziente
di
Entit�
Entit�
esperisce
s
Entit�
and
Entit�
Entit�
è un'
istanza
di
Trauma
Entit�
è un
agente
di
Entit�
Entit�
è un
paziente
di
Entit�
(=>
(
instance
?T
MilitaryFoodTruck
)
(
capability
(
KappaFn
?P
(
and
(
instance
?P
Transportation
)
(
instance
?F
(
FoodForFn
Animal
))
(
patient
?P ?F)))
instrument
?T))
Military.kif 210-218
Oggetto
è un'
istanza
di
MilitaryFoodTruck
Oggetto
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
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
Trasferimento
è un'
istanza
di
TopicalApplication
Oggetto
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Medicine
Oggetto
è un'
istanza
di
Animale
Oggetto
è un'
istanza
di
Skin
Oggetto
è una
parte
di
Oggetto
objectTransferred
Trasferimento
and
Oggetto
Oggetto
fine
s in
Oggetto
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