Organism
(Organismo)
(=>
(
instance
?POISON
Poisoning
)
(
exists
(?THING)
(
and
(
patient
?POISON ?THING)
(
or
(
instance
?THING
Organism
)
(
instance
?THING
AnatomicalStructure
)))))
Merge.kif 10463-10470
Processo
e' uma
instancia
de
Envenenar
Entidade
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Organismo
Entidade
e' uma
instancia
de
Estructura Anatomica
(=>
(
instance
?PROC
BiologicalProcess
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
Organism
)
(
eventLocated
?PROC ?OBJ))))
Merge.kif 10136-10141
Processo
e' uma
instancia
de
Processo Biologico
Objeto
Objeto
e' uma
instancia
de
Organismo
eventLocated
Processo
and
Objeto
(=>
(
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
Processo
e' uma
instancia
de
Excreting
AutonomousAgent
Entidade
and
Objeto
AutonomousAgent
e' uma
instancia
de
Organismo
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Excrement
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e' um
instrumento
para
Processo
(=>
(
instance
?STUFF
Tissue
)
(
exists
(?ORGANISM)
(
and
(
instance
?ORGANISM
Organism
)
(
part
?STUFF ?ORGANISM))))
Merge.kif 15141-15146
Objeto
e' uma
instancia
de
Tecido
Objeto
Objeto
e' uma
instancia
de
Organismo
Objeto
e' uma &parte de
Objeto
(=>
(
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
Processo
e' uma
instancia
de
Vocalizing
Objeto
Objeto
Objeto
e' uma
instancia
de
VocalCords
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Organismo
(=>
(
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
Entidade
e' uma
instancia
de
Excrement
Processo
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Organismo
Processo
e' uma
instancia
de
Processo Fisiologico
Entidade
e' o
resultado
de
Processo
Processo
e' um
agente
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
e' um
patient
de
Processo
o argumento
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Causar Dano
Processo
causa
Entidade
Processo
e' um
instrumento
para
Entidade
Entidade
e' uma
instancia
de
Organismo
Entidade
e' uma
instancia
de
Artefato Estacionario
Entidade
e' uma
instancia
de
Outdoors
Entidade
e'
situado
em
Entidade
Entidade
e'
situado
em
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
patient
de
Entidade
tem a
forca
modal
de
Possibility
(=>
(
subclass
?F
Fertilisation
)
(
capability
?F
patient
Organism
))
Mid-level-ontology.kif 23988-23990
Processo
e' uma
sub
-classe de
Fertilisation
Organismo
e'
capaz
de fazer
Processo
no role
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