Animal
(animal)
(=>
(
instance
?CONFINE
Confining
)
(
exists
(?AGENT)
(
and
(
instance
?AGENT
Animal
)
(
patient
?CONFINE ?AGENT))))
Merge.kif 12205-12210
Processus
est une
instance
de
confiner
entit�
entit�
est une
instance
de
animal
entit�
est un
patient
de
processus
(=>
(
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
Physique
est une
instance
de
Dish
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
manger
entit�
est un
patient
de
entit�
physique
est un
patient
de
entit�
entit�
est une
instance
de
FoodForFn
animal
entit�
est
situ
� �
physique
(=>
(
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
Processus
est une
instance
de
FoodDistributionOperation
entit�
entit�
entit�
est une
instance
de
FoodForFn
animal
entit�
est une
instance
de
agent cognitif
entit�
est un
patient
de
processus
processus
aboutit
�
entit�
entit�
poss
�de
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
instance
?GROUP
GroupOfAnimals
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?GROUP)
(
and
(
instance
?MEMBER
Animal
)
(
not
(
instance
?MEMBER
Human
))))))
Mid-level-ontology.kif 7480-7487
Collection
est une
instance
de
GroupOfAnimals
physique
physique
est un
membre
de
collection
physique
est une
instance
de
animal
physique
est une
instance
de
humain
(=>
(
instance
?H
Hunting
)
(
exists
(?T)
(
and
(
instance
?T
Animal
)
(
patient
?H ?T))))
Merge.kif 12903-12908
Processus
est une
instance
de
Hunting
entit�
entit�
est une
instance
de
animal
entit�
est un
patient
de
processus
(=>
(
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
Processus
est une
instance
de
Injecting
objet
entit�
objet
est un
patient
de
processus
objet
est une
instance
de
substance biologique active
Liquid
est un
attribut
de
objet
processus
aboutit
�
entit�
entit�
est une
instance
de
animal
(=>
(
instance
?ITEM
Livestock
)
(
instance
?ITEM
Animal
))
Economy.kif 4892-4894
Entit�
est une
instance
de
Livestock
entit�
est une
instance
de
animal
(=>
(
instance
?LEG
Leg
)
(
exists
(?ANIMAL)
(
and
(
instance
?ANIMAL
Animal
)
(
part
?LEG ?ANIMAL))))
Mid-level-ontology.kif 12675-12680
Objet
est une
instance
de
Leg
objet
objet
est une
instance
de
animal
objet
est une
partie
de
objet
(=>
(
instance
?M
Meat
)
(
exists
(?DA ?AC)
(
and
(
instance
?DA
(
DeadFn
?AC))
(
part
?M ?DA)
(
subclass
?AC
Animal
))))
Food.kif 1909-1915
Objet
est une
instance
de
viande
objet
objet organique
objet
est une
instance
de
DeadFn
objet organique
objet
est une
partie
de
objet
objet organique
est une
sous
-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
Objet
est une
instance
de
viande
objet
objet
est une
partie
de
objet
objet
position temporel
and
entit�
objet
est une
partie
de
objet
entit�
est une
instance
de
animal
objet
est une
partie
de
entit�
pendant
position temporel
(=>
(
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
Physique
est une
instance
de
Needle
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
animal
entit�
est une
instance
de
TherapeuticProcss
Fluid
est un
attribut
de
entit�
entit�
est un
patient
de
entit�
physique
est un
instrument
pour
entit�
entit�
est une
instance
de
supprimer
entit�
est une
instance
de
Inserting
entit�
est un
sous
-processus de
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
Processus
est une
instance
de
OrganTransplant
entit�
objet
and
transf�re
entit�
est une
instance
de
animal
objet
est une
instance
de
organe
transf�re
est une
instance
de
mettre
transf�re
est un
sous
-processus de
processus
objectTransferred
transf�re
and
objet
transf�re
aboutit
�
entit�
(=>
(
instance
?OT
OrganTransplant
)
(
exists
(?H ?O)
(
and
(
instance
?H
Animal
)
(
instance
?O
Organ
)
(
needs
?H ?O))))
Medicine.kif 4634-4640
Entit�
est une
instance
de
OrganTransplant
agent cognitif
physique
agent cognitif
est une
instance
de
animal
physique
est une
instance
de
organe
agent cognitif
a
besoin
de
physique
(=>
(
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�
est une
instance
de
AnimalProduct
processus
objet
and
objet
processus
est une
instance
de
manufacture
entit�
est le
resultat
de
processus
objet
est un
patient
de
processus
objet
est une
instance
de
animal
objet
est une
partie
de
objet
objet
est une
instance
de
structure anatomique
(=>
(
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
Physique
est une
instance
de
Pill
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
animal
entit�
est une
instance
de
ing�rer
entit�
exp
�rimente
entit�
objectTransferred
entit�
and
physique
(=>
(
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
Physique
est une
instance
de
ProtectiveEyewear
physique
a pour
but
physique
RSON
entit�
,
entit�
and
entit�
physique
RSON est une
instance
de
animal
entit�
est une
instance
de
Face
entit�
est une
instance
de
Eye
entit�
est une
partie
de
entit�
entit�
est une
partie
de
physique
RSON
physique
RSON
porte
physique
entit�
est une
instance
de
couvrir
entit�
est un
agent
de
physique
entit�
est un
patient
de
entit�
(=>
(
instance
?PROCESS
PsychologicalProcess
)
(
exists
(?ANIMAL)
(
and
(
instance
?ANIMAL
Animal
)
(
experiencer
?PROCESS ?ANIMAL))))
Merge.kif 10377-10382
Processus
est une
instance
de
processus psychologique
AutonomousAgent
AutonomousAgent
est une
instance
de
animal
AutonomousAgent
exp
�rimente
processus
(=>
(
instance
?RESIDENCE
AnimalResidence
)
(
hasPurpose
?RESIDENCE
(
exists
(?ANIMAL)
(
and
(
instance
?ANIMAL
Animal
)
(
not
(
instance
?ANIMAL
Human
))
(
inhabits
?ANIMAL ?RESIDENCE)))))
Mid-level-ontology.kif 6997-7004
Physique
est une
instance
de
AnimalResidence
physique
a pour
but
entit�
entit�
est une
instance
de
animal
entit�
est une
instance
de
humain
entit�
vie
�
physique
(=>
(
instance
?S
Skeleton
)
(
exists
(?A)
(
and
(
instance
?A
Animal
)
(
interiorPart
?S ?A))))
Mid-level-ontology.kif 11662-11667
Objet
est une
instance
de
Skeleton
objet
objet
est une
instance
de
animal
objet
est une partie
interieur
de
objet
(=>
(
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
Objet
est une
instance
de
Skin
objet en une partie
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet en une partie
est une
instance
de
animal
objet
recouvre
objet en une partie
(=>
(
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�
est une
instance
de
PlantSpinoseStructure
l'argument
entit�
entit�
and
entit�
entit�
est une
instance
de
Inserting
entit�
est un
instrument
pour
entit�
entit�
est une
instance
de
animal
entit�
est un
patient
de
entit�
entit�
cause
entit�
entit�
est une
instance
de
Pain
entit�
exp
�rimente
entit�
a la
force
modale
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
est une
instance
de
GroceryStore
processus
entit�
processus
est une
instance
de
vendre
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est une
instance
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
Physique
est une
instance
de
SafetyVest
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
animal
entit�
est une
instance
de
humain
entit�
porte
physique
augmente
la probabilit� de
entit�
entit�
est une
instance
de
voir
entit�
est un
patient
de
entit�
entit�
exp
�rimente
entit�
entit�
entit�
est une
instance
de
voir
entit�
est un
patient
de
entit�
entit�
exp
�rimente
entit�
diminue
la probabilit� de
entit�
entit�
est une
instance
de
blesser
entit�
est un
agent
de
entit�
entit�
est un
patient
de
entit�
(=>
(
instance
?T
MilitaryFoodTruck
)
(
capability
(
KappaFn
?P
(
and
(
instance
?P
Transportation
)
(
instance
?F
(
FoodForFn
Animal
))
(
patient
?P ?F)))
instrument
?T))
Military.kif 210-218
Objet
est une
instance
de
MilitaryFoodTruck
objet
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
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
Transf�re
est une
instance
de
TopicalApplication
objet
objet
and
objet
objet
est une
instance
de
Medicine
objet
est une
instance
de
animal
objet
est une
instance
de
Skin
objet
est une
partie
de
objet
objectTransferred
transf�re
and
objet
objet
aboutit
�
objet
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