Organism
(organisme)
(=>
(
instance
?POISON
Poisoning
)
(
exists
(?THING)
(
and
(
patient
?POISON ?THING)
(
or
(
instance
?THING
Organism
)
(
instance
?THING
AnatomicalStructure
)))))
Merge.kif 10463-10470
Processus
est une
instance
de
empoisoner
entit�
entit�
est un
patient
de
processus
entit�
est une
instance
de
organisme
entit�
est une
instance
de
structure anatomique
(=>
(
instance
?PROC
BiologicalProcess
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
Organism
)
(
eventLocated
?PROC ?OBJ))))
Merge.kif 10136-10141
Processus
est une
instance
de
processus biologique
objet
objet
est une
instance
de
organisme
eventLocated
processus
and
objet
(=>
(
instance
?PROC
Excreting
)
(
exists
(?ORG ?WASTE ?PART)
(
and
(
instance
?ORG
Organism
)
(
agent
?PROC ?ORG)
(
patient
?PROC ?WASTE)
(
instance
?WASTE
Excrement
)
(
instance
?PART
BodyPart
)
(
instrument
?PROC ?PART))))
Mid-level-ontology.kif 2118-2127
Processus
est une
instance
de
Excreting
AutonomousAgent
entit�
and
objet
AutonomousAgent
est une
instance
de
organisme
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est une
instance
de
Excrement
objet
est une
instance
de
partie du corps
objet
est un
instrument
pour
processus
(=>
(
instance
?STUFF
Tissue
)
(
exists
(?ORGANISM)
(
and
(
instance
?ORGANISM
Organism
)
(
part
?STUFF ?ORGANISM))))
Merge.kif 15141-15146
Objet
est une
instance
de
tissu
objet
objet
est une
instance
de
organisme
objet
est une
partie
de
objet
(=>
(
instance
?VOCAL
Vocalizing
)
(
exists
(?CORD ?ORGANISM)
(
and
(
instance
?CORD
VocalCords
)
(
instrument
?VOCAL ?CORD)
(
part
?CORD ?ORGANISM)
(
instance
?ORGANISM
Organism
))))
Mid-level-ontology.kif 795-802
Processus
est une
instance
de
Vocalizing
objet
objet
objet
est une
instance
de
VocalCords
objet
est un
instrument
pour
processus
objet
est une
partie
de
objet
objet
est une
instance
de
organisme
(=>
(
instance
?X
Excrement
)
(
exists
(?PROC ?ORG)
(
and
(
instance
?ORG
Organism
)
(
instance
?PROC
PhysiologicProcess
)
(
result
?PROC ?X)
(
agent
?PROC ?ORG))))
Mid-level-ontology.kif 2067-2074
Entit�
est une
instance
de
Excrement
processus
AutonomousAgent
AutonomousAgent
est une
instance
de
organisme
processus
est une
instance
de
processus physiologique
entit�
est le
resultat
de
processus
processus
est un
agent
de
AutonomousAgent
(=>
(
patient
?RAIN
AcidRainfall
)
(
modalAttribute
(
exists
(?D ?O ?X ?L)
(
and
(
instance
?D
Damaging
)
(
causes
?RAIN ?D)
(
instrument
?D ?RAIN)
(
instance
?O
Organism
)
(
instance
?X
StationaryArtifact
)
(
instance
?L
Outdoors
)
(
located
?X ?L)
(
located
?O ?L)
(
or
(
patient
?D ?O)
(
patient
?D ?X))))
Possibility
))
Geography.kif 2519-2534
AcidRainfall
est un
patient
de
processus
l'argument
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
endommager
processus
cause
entit�
processus
est un
instrument
pour
entit�
entit�
est une
instance
de
organisme
entit�
est une
instance
de
artefact stationnaire
entit�
est une
instance
de
Outdoors
entit�
est
situ
� �
entit�
entit�
est
situ
� �
entit�
entit�
est un
patient
de
entit�
entit�
est un
patient
de
entit�
a la
force
modale
de
Possibility
(=>
(
subclass
?F
Fertilisation
)
(
capability
?F
patient
Organism
))
Mid-level-ontology.kif 23988-23990
Processus
est une
sous
-classe de
Fertilisation
organisme
est
capable
de faire
processus
dans le r�le
patient
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