result
(=>
(
and
(
instance
?REM
OrganismRemains
)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?ORG)
(
instance
?ORG ?ORGTYPE)
(
subclass
?ORGTYPE
OrganicObject
)
(
result
?DEATH ?REM))
(
instance
?REM
(
DeadFn
?ORGTYPE)))
Mid-level-ontology.kif 129-137
Entidade
e' uma
instancia
de
OrganismRemains
Processo
e' uma
instancia
de
Morte
AutonomousAgent
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
TYPE
AutonomousAgent
TYPE e' uma
sub
-classe de
Objeto Organico
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
DeadFn
AutonomousAgent
TYPE
(=>
(
and
(
instance
?REP
AsexualReproduction
)
(
result
?REP ?ORGANISM)
(
parent
?ORGANISM ?PARENT1)
(
parent
?ORGANISM ?PARENT2))
(
equal
?PARENT1 ?PARENT2))
Merge.kif 10363-10369
Processo
e' uma
instancia
de
Reproducao Assexual
Organismo
e' o
resultado
de
Processo
Organismo
e' um
genitor
de
Organismo
Organismo
e' um
genitor
de
Organismo
Organismo
e'
igual
a
Organismo
(=>
(
and
(
instance
?REP
Replication
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
parent
?CHILD ?PARENT))
Merge.kif 10316-10321
Processo
e' uma
instancia
de
Reproducao
Processo
e' um
agente
de
Organismo
Organismo
e' o
resultado
de
Processo
Organismo
e' um
genitor
de
Organismo
(=>
(
and
(
instance
?REP
SexualReproduction
)
(
result
?REP ?ORGANISM))
(
exists
(?MOTHER ?FATHER)
(
and
(
mother
?ORGANISM ?MOTHER)
(
father
?ORGANISM ?FATHER))))
Merge.kif 10336-10343
Processo
e' uma
instancia
de
Reproducao Sexual
Organismo
e' o
resultado
de
Processo
Organismo
Organismo
Organismo
e' a
mae
de
Organismo
Organismo
e' o
pai
de
Organismo
(=>
(
and
(
instance
?REQUEST
Requesting
)
(
result
?REQUEST ?SENTENCE)
(
instance
?SENTENCE
Sentence
))
(
instance
?SENTENCE
Request
))
Mid-level-ontology.kif 14276-14281
Processo
e' uma
instancia
de
Pedir
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Frase
Entidade
e' uma
instancia
de
Request
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
exists
(?R)
(
and
(
instance
?R
Requesting
)
(
patient
?R ?SPAM)))))
ComputingBrands.kif 4197-4208
Processo
e' uma
instancia
de
Spamming
Processo
PAM e' o
resultado
de
Processo
Processo
e' uma
instancia
de
Spam
Entidade
e' uma
instancia
de
Humano
Processo
termina
em
Entidade
Processo
Processo
e' uma
instancia
de
Pedir
Processo
PAM e' um
patient
de
Processo
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
modalAttribute
(
wants
?H ?SPAM)
Likely
)))
ComputingBrands.kif 4210-4220
Processo
e' uma
instancia
de
Spamming
Processo
PAM e' o
resultado
de
Processo
Processo
e' uma
instancia
de
Spam
Entidade
e' uma
instancia
de
Humano
Processo
termina
em
Entidade
o argumento
Entidade
quer
Processo
PAM nao %n a
forca
modal
de
Likely
(=>
(
and
(
instance
?STATE
Stating
)
(
result
?STATE ?SENTENCE)
(
instance
?SENTENCE
Sentence
))
(
instance
?SENTENCE
Statement
))
Mid-level-ontology.kif 14236-14241
Processo
e' uma
instancia
de
Declarar
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Frase
Entidade
e' uma
instancia
de
Statement
(=>
(
and
(
instance
?STRAT
CounterTerrorismStrategy
)
(
instance
?PLANNING
OperationPlanning
)
(
result
?PLANNING ?STRAT))
(
exists
(?CT)
(
and
(
patient
?PLANNING ?CT)
(
instance
?CT
CounterTerrorism
))))
MilitaryProcesses.kif 2082-2090
Entidade
e' uma
instancia
de
CounterTerrorismStrategy
Processo
e' uma
instancia
de
OperationPlanning
Entidade
e' o
resultado
de
Processo
Entidade
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
CounterTerrorism
(=>
(
and
(
instance
?SUPPOSE
Supposing
)
(
result
?SUPPOSE ?SENTENCE)
(
instance
?SENTENCE
Sentence
))
(
instance
?SENTENCE
Supposition
))
Mid-level-ontology.kif 14265-14270
Processo
e' uma
instancia
de
Supposing
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Frase
Entidade
e' uma
instancia
de
Supposition
(=>
(
and
(
instance
?TRANSLATE
Translating
)
(
patient
?TRANSLATE ?EXPRESSION1)
(
result
?TRANSLATE ?EXPRESSION2))
(
exists
(?LANGUAGE1 ?LANGUAGE2 ?ENTITY)
(
and
(
representsInLanguage
?EXPRESSION1 ?ENTITY ?LANGUAGE1)
(
representsInLanguage
?EXPRESSION2 ?ENTITY ?LANGUAGE2)
(
not
(
equal
?LANGUAGE1 ?LANGUAGE2)))))
Merge.kif 12736-12745
Processo
e' uma
instancia
de
Translating
Expressao Linguistica
e' um
patient
de
Processo
Expressao Linguistica
e' o
resultado
de
Processo
Linguagem
Linguagem
and
Entidade
Expressao Linguistica
representa
Entidade
na linguagem
Linguagem
Expressao Linguistica
representa
Entidade
na linguagem
Linguagem
Linguagem
e'
igual
a
Linguagem
(=>
(
and
(
instance
?W
Whiskey
)
(
instance
?D
Distilling
)
(
result
?D ?W)
(
resource
?DR ?W)
(
instance
?DR
Drinking
))
(
exists
(?C ?T ?H)
(
and
(
instance
?C
Cask
)
(
instance
?H
HoleRegion
)
(
hole
?H ?C)
(
holdsDuring
?T
(
partiallyFills
?W ?C))
(
earlier
?D ?T)
(
earlier
?T ?DR))))
Food.kif 3617-3632
Objeto
e' uma
instancia
de
Whiskey
Intervalo Temporal
e' uma
instancia
de
Distilling
Objeto
e' o
resultado
de
Intervalo Temporal
Objeto
e' um
recurso
para
Intervalo Temporal
R
Intervalo Temporal
R e' uma
instancia
de
Beber
Objeto auto-conectado
Intervalo Temporal
and
Buraco
Objeto auto-conectado
e' uma
instancia
de
Cask
Buraco
e' uma
instancia
de
Buraco
Buraco
e' um
buraco
dans
Objeto auto-conectado
Objeto
completa
partialmente
Objeto auto-conectado
vale
durante
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
R
(=>
(
and
(
instance
?X
ReadOnlyMemoryDataStorage
)
(
instance
?FABRICATION
Manufacture
)
(
result
?FABRICATION ?X))
(
not
(
modalAttribute
(
exists
(?WRITE1 ?DATA1 ?WRITE2)
(
and
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
earlier
(
WhenFn
?FABRICATION)
(
WhenFn
?WRITE1))
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)))
Media.kif 768-788
Entidade
e' uma
instancia
de
ReadOnlyMemoryDataStorage
Processo
e' uma
instancia
de
Manufatura
Entidade
e' o
resultado
de
Processo
o argumento
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Desenvolvimento de Conteudo
Entidade
e' uma
instancia
de
DeletingData
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
patient
de
Entidade
stored
Entidade
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Entidade
nao %n a
forca
modal
de
Possibility
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?REP
SexualReproduction
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
or
(
mother
?CHILD ?PARENT)
(
father
?CHILD ?PARENT)))
Merge.kif 16386-16394
Organismo
e' um
genitor
de
Organismo
Processo
e' uma
instancia
de
Reproducao Sexual
Processo
e' um
agente
de
Organismo
Organismo
e' o
resultado
de
Processo
Organismo
e' a
mae
de
Organismo
Organismo
e' o
pai
de
Organismo
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
located
?PROC ?LOC)
(
instance
?LOC
GeopoliticalArea
)
(
ageOfMajorityForProcess
(
MeasureFn
?N
YearDuration
) ?LOC ?PROC)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
attribute
?AG
Legal
))
(
holdsDuring
(
WhenFn
?PROC)
(
and
(
age
?A1
(
MeasureFn
?N2
YearDuration
))
(
greaterThan
?N2 ?N))))
Law.kif 573-588
partyToAgreement
Agente Cognitivo
and
Agreement
Processo
e' uma
instancia
de
Processo Intencional
Processo
e'
situado
em
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
ageOfMajorityForProcess
Numero Real
YearDuration
(s),
Area Geopolitica
and
Processo
ContentBearingPhysical
e' o
resultado
de
Processo
recordForAgreement
ContentBearingPhysical
and
Agreement
Legal
e' um
atributo
de
Agreement
a
idade
de
Agente Cognitivo
e'
Numero Real
2
YearDuration
(s)
Numero Real
2 e'
maior
que
Numero Real
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
located
?PROC ?LOC)
(
instance
?LOC
Nation
)
(
located
?PROC ?LOC2)
(
instance
?LOC2
GeopoliticalArea
)
(
ageOfMajorityForProcess
(
MeasureFn
?N2
YearDuration
) ?LOC ?PROC)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
holdsDuring
(
WhenFn
?PROC)
(
and
(
age
?A1
(
MeasureFn
?N3
YearDuration
))
(
greaterThan
?N3 ?N2))))
(
attribute
?AG
Legal
))
Law.kif 554-571
partyToAgreement
Agente Cognitivo
and
Agreement
Processo
e' uma
instancia
de
Processo Intencional
Processo
e'
situado
em
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Nacao
Processo
e'
situado
em
Area Geopolitica
2
Area Geopolitica
2 e' uma
instancia
de
Area Geopolitica
ageOfMajorityForProcess
Numero Real
YearDuration
(s),
Area Geopolitica
and
Processo
ContentBearingPhysical
e' o
resultado
de
Processo
recordForAgreement
ContentBearingPhysical
and
Agreement
a
idade
de
Agente Cognitivo
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
que
Numero Real
vale
durante
tempo
de existencia de
Processo
Legal
e' um
atributo
de
Agreement
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
attribute
?AG
Legal
))
(
holdsDuring
(
WhenFn
?PROC)
(
attribute
?A1
Sober
)))
Law.kif 515-524
partyToAgreement
Agente Cognitivo
and
Agreement
Processo
e' uma
instancia
de
Processo Intencional
ContentBearingPhysical
e' o
resultado
de
Processo
recordForAgreement
ContentBearingPhysical
and
Agreement
Legal
e' um
atributo
de
Agreement
Sober
e' um
atributo
de
Agente Cognitivo
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
produced
?P ?MOVIE)
(
instance
?FILMMAKING
FilmMaking
)
(
result
?FILMMAKING ?MOVIE))
(
holdsDuring
(
WhenFn
?FILMMAKING)
(
attribute
?P
FilmProducer
)))
Mid-level-ontology.kif 20710-20716
produced
Humano
and
Recording
Processo
e' uma
instancia
de
FilmMaking
Recording
e' o
resultado
de
Processo
FilmProducer
e' um
atributo
de
Humano
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
resource
?PROC ?SUBSTANCE1)
(
result
?PROC ?SUBSTANCE2)
(
instance
?SUBSTANCE1
CompoundSubstance
)
(
instance
?SUBSTANCE2
ElementalSubstance
))
(
instance
?PROC
ChemicalDecomposition
))
Merge.kif 12563-12569
Objeto
e' um
recurso
para
Processo
Entidade
e' o
resultado
de
Processo
Objeto
e' uma
instancia
de
Substancia Composta
Entidade
e' uma
instancia
de
Substancia Elementar
Processo
e' uma
instancia
de
Decomposicao Quimica
(=>
(
and
(
resource
?PROC ?SUBSTANCE1)
(
result
?PROC ?SUBSTANCE2)
(
instance
?SUBSTANCE1
ElementalSubstance
)
(
instance
?SUBSTANCE2
CompoundSubstance
))
(
instance
?PROC
ChemicalSynthesis
))
Merge.kif 12527-12533
Objeto
e' um
recurso
para
Processo
Entidade
e' o
resultado
de
Processo
Objeto
e' uma
instancia
de
Substancia Elementar
Entidade
e' uma
instancia
de
Substancia Composta
Processo
e' uma
instancia
de
Sintese Quimica
(=>
(
result
?PROC ?OBJ)
(
forall
(?TIME)
(=>
(
before
?TIME
(
BeginFn
(
WhenFn
?PROC)))
(
not
(
time
?OBJ ?TIME)))))
Merge.kif 8124-8130
Fisico
e' o
resultado
de
Processo
Ponto no tempo
Ponto no tempo
comeca
antes
de o
comeco
de
tempo
de existencia de
Processo
Fisico
nao existe %n
durante
Ponto no tempo
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