not
(=>
(
and
(
parent
?ORGANISM1 ?PARENT1)
(
parent
?ORGANISM2 ?PARENT1)
(
parent
?ORGANISM1 ?PARENT2)
(
parent
?ORGANISM2 ?PARENT2)
(
not
(
equal
?ORGANISM1 ?ORGANISM2))
(
not
(
equal
?PARENT1 ?PARENT2)))
(
sibling
?ORGANISM1 ?ORGANISM2))
Merge.kif 16493-16501
Organismo
e' um
genitor
de
Organismo
Organismo
e' um
genitor
de
Organismo
Organismo
e' um
genitor
de
Organismo
Organismo
e' um
genitor
de
Organismo
Organismo
e'
igual
a
Organismo
Organismo
e'
igual
a
Organismo
Organismo
e' um
irmao
ou uma irma de
Organismo
(=>
(
and
(
part
?OBJ1 ?OBJ2)
(
not
(
part
?OBJ2 ?OBJ1)))
(
properPart
?OBJ1 ?OBJ2))
Merge.kif 942-947
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
(=>
(
and
(
partition
?SUPER ?SUB1 ?SUB2)
(
instance
?INST ?SUPER)
(
not
(
instance
?INST ?SUB1)))
(
instance
?INST ?SUB2))
Merge.kif 606-612
O conceito
Classe
e'
completamente
decomposto
em
Classe
+
Classe
Entidade
e' uma
instancia
de
Classe
Entidade
e' uma
instancia
de
Classe
Entidade
e' uma
instancia
de
Classe
(=>
(
and
(
path
?PROCESS ?PATH1)
(
origin
?PROCESS ?SOURCE)
(
destination
?PROCESS ?DEST)
(
length
?PATH1
(
MeasureFn
?MEASURE1 ?U))
(
distance
?SOURCE ?DEST
(
MeasureFn
?DISTANCE ?U))
(
not
(
greaterThan
?MEASURE1 ?DISTANCE))
(
part
?OBJ ?PATH1))
(
between
?SOURCE ?OBJ ?DEST))
Merge.kif 11104-11114
Objeto
e' o
caminho
ao longo do qual
Movimento
ocorre
Movimento
tem como
origem
Objeto
Movimento
termina
em
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Unidade de Medida
(s) a
distancia
entre
Objeto
e
Objeto
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
Objeto
e' uma &parte de
Objeto
Objeto
esta'
entre
Objeto
e
Objeto
(=>
(
and
(
patient
?PROCESS ?PATIENT)
(
time
?PATIENT
(
EndFn
(
WhenFn
?PROCESS)))
(
not
(
time
?PATIENT
(
BeginFn
(
WhenFn
?PROCESS)))))
(
instance
?PROCESS
Creation
))
Merge.kif 12826-12832
Fisico
e' um
patient
de
Processo
Fisico
existe
durante
o
fim
de
tempo
de existencia de
Processo
Fisico
nao existe %n
durante
o
comeco
de
tempo
de existencia de
Processo
Processo
e' uma
instancia
de
Criacao
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
meetsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1280-1287
physicalEnd
Objeto
and
Objeto
physicalEnd
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
nao
encontra
%n
Objeto
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
overlapsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1271-1278
physicalEnd
Objeto
and
Objeto
physicalEnd
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
nao
engloba
%n
Objeto
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
part
?P1 ?E1)
(
part
?P2 ?E2)
(
instance
?U
UnitOfLength
)
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
not
(
equal
?E1 ?E2)))
(
not
(
exists
(?OP1 ?OP2 ?D2)
(
and
(
not
(
part
?OP1 ?E1))
(
not
(
part
?OP2 ?E2))
(
distance
?OP1 ?OP2
(
MeasureFn
?D2 ?U))
(
greaterThan
?D2 ?D1)))))
Mid-level-ontology.kif 1295-1315
physicalEnd
Objeto
and
Objeto
physicalEnd
Objeto
and
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Unidade de Medida
e' uma
instancia
de
UnitOfLength
a
distancia
entre
Objeto
e
Objeto
e'
Numero Real
Unidade de Medida
(s)
Objeto
e'
igual
a
Objeto
Objeto
P1
Objeto
P2 and
Numero Real
Objeto
P1 e' uma &parte de
Objeto
Objeto
P2 e' uma &parte de
Objeto
a
distancia
entre
Objeto
P1 e
Objeto
P2 e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
physicalEnd
?P1 ?O)
(
physicalEnd
?P2 ?O)
(
not
(
equal
?P1 ?P2))
(
distance
?P1 ?P2
(
MeasureFn
?D ?U)))
(
not
(
exists
(?OP1 ?OP2 ?N2)
(
and
(
physicalEnd
?OP1 ?O)
(
physicalEnd
?OP2 ?O)
(
not
(
equal
?OP1 ?OP2))
(
distance
?OP1 ?OP2
(
MeasureFn
?N2 ?U))
(
greaterThan
?N2 ?D)))))
Merge.kif 17969-17984
physicalEnd
Objeto
and
Objeto
physicalEnd
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
a
distancia
entre
Objeto
e
Objeto
e'
Numero Real
Unidade de Medida
(s)
Objeto
P1
Objeto
P2 and
Numero Real
physicalEnd
Objeto
P1 and
Objeto
physicalEnd
Objeto
P2 and
Objeto
Objeto
P1 e'
igual
a
Objeto
P2 a
distancia
entre
Objeto
P1 e
Objeto
P2 e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
property
?AGREEMENT
Contract
)
(
partyToAgreement
?AGENT1 ?AGREEMENT)
(
partyToAgreement
?AGENT2 ?AGREEMENT)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?AGENT1)
(
realization
?PROC ?PROP)
(
not
(
consistent
?PROP ?AGREEMENT)))
(
modalAttribute
(
exists
(?LEGAL)
(
and
(
instance
?LEGAL
LegalAction
)
(
plaintiff
?LEGAL ?AGENT2)
(
defendant
?LEGAL ?AGENT1)))
Possibility
))
Mid-level-ontology.kif 14148-14162
Agreement
tem um
atributo
de
Contract
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
Processo
e' uma
instancia
de
Processo Intencional
Processo
e' um
agente
de
Agente Cognitivo
Processo
exprime
o conteudo de
Proposicao
consistent
Proposicao
and
Agreement
o argumento
Entidade
Entidade
e' uma
instancia
de
Acao Legal
plaintiff
Entidade
and
Agente Cognitivo
defendant
Entidade
and
Agente Cognitivo
tem a
forca
modal
de
Possibility
(=>
(
and
(
relativeAngle
?O1 ?O2 ?N)
(
physicalEnd
?E1 ?O1)
(
physicalEnd
?E2 ?O1)
(
not
(
equal
?E1 ?E2))
(
length
?O1
(
MeasureFn
?N1 ?U))
(
length
?O2
(
MeasureFn
?N2 ?U))
(
distance
?E1 ?E3
(
MeasureFn
?N3 ?U))
(
physicalEnd
?E3 ?O2)
(
physicalEnd
?E4 ?O2)
(
not
(
equal
?E3 ?E4))
(
not
(
meetsSpatially
?E1 ?E3)))
(
equal
?N
(
ArcCosineFn
(
DivisionFn
(
SubtractionFn
(
SubtractionFn
(
MultiplicationFn
?N3 ?N3)
(
MultiplicationFn
?N1 ?N1))
(
MultiplicationFn
?N2 ?N2))
(
MultiplicationFn
2.0
(
MultiplicationFn
?N1 ?N2))))))
Merge.kif 17928-17953
relativeAngle
Objeto
,
Objeto
and
Numero Real
physicalEnd
Objeto
and
Objeto
physicalEnd
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
o
comprimento
de
Objeto
e'
Numero Real
1
Unidade de Medida
(s) o
comprimento
de
Objeto
e'
Numero Real
2
Unidade de Medida
(s) a
distancia
entre
Objeto
e
Objeto
e'
Numero Real
3
Unidade de Medida
(s)
physicalEnd
Objeto
and
Objeto
physicalEnd
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
nao
encontra
%n
Objeto
Numero Real
e'
igual
a
ArcCosineFn
((
Numero Real
3 +
Numero Real
3 +
Numero Real
1 +
Numero Real
1) +
Numero Real
2 +
Numero Real
2) + 2.0 +
Numero Real
1 +
Numero Real
2
(=>
(
and
(
side
?SIDE ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?SIDE)))
(
exists
(?DIRECT)
(
orientation
?SIDE ?PART ?DIRECT)))
Merge.kif 9767-9773
O
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
conectado
com
Objeto auto-conectado
Atributo Posicional
Objeto auto-conectado
e'
Atributo Posicional
em relacao a
Objeto
(=>
(
and
(
subclass
?T1C
Tissue
)
(
subclass
?T2C
Tissue
)
(
instance
?T1 ?T1C)
(
instance
?T2 ?T2C)
(
instance
?H
Human
)
(
part
?T1 ?H)
(
part
?T2 ?H)
(
not
(
equal
?T1C ?T2C))
(
not
(
subclass
?T1C ?T2C))
(
not
(
subclass
?T2C ?T1C))
(
orientation
?T1 ?T2
Adjacent
))
(
modalAttribute
(
exists
(?CT)
(
and
(
instance
?CT
ConnectiveTissue
)
(
between
?T1 ?CT ?T2)))
Likely
))
Merge.kif 15188-15209
Classe
e' uma
sub
-classe de
Tecido
Classe
e' uma
sub
-classe de
Tecido
Objeto
e' uma
instancia
de
Classe
Objeto
e' uma
instancia
de
Classe
Objeto
e' uma
instancia
de
Humano
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Classe
e'
igual
a
Classe
Classe
e' uma
sub
-classe de
Classe
Classe
e' uma
sub
-classe de
Classe
Objeto
e'
Adjacent
em relacao a
Objeto
o argumento
Entidade
Entidade
e' uma
instancia
de
ConnectiveTissue
Entidade
esta'
entre
Objeto
e
Objeto
tem a
forca
modal
de
Likely
(=>
(
and
(
titleInLanguage
?TITLE1 ?WORKTYPE ?LANG1)
(
originalTitle
?TITLE2 ?WORKTYPE ?LANG2)
(
not
(
equal
?LANG1 ?LANG2)))
(
translatedTitle
?TITLE1 ?WORKTYPE ?LANG1))
Media.kif 3268-3273
titleInLanguage
Sequencia Simbolica
,
Entidade
and
Linguagem
originalTitle
Sequencia Simbolica
,
Entidade
and
Linguagem
Linguagem
e'
igual
a
Linguagem
translatedTitle
Sequencia Simbolica
,
Entidade
and
Linguagem
(=>
(
and
(
top
?TOP ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?TOP)))
(
orientation
?PART ?TOP
Below
))
Merge.kif 9752-9757
O
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
conectado
com
Objeto auto-conectado
Objeto
e'
Below
em relacao a
Objeto auto-conectado
(=>
(
and
(
typicalAction
?PROCESS ?AGENT)
(
instance
?A ?AGENT)
(
equal
?PPROB
(
ProbabilityFn
(
exists
(?X)
(
and
(
instance
?X ?PROCESS)
(
agent
?X ?A)))))
(
equal
?NOTPPROB
(
ProbabilityFn
(
not
(
exists
(?Y)
(
and
(
instance
?Y ?PROCESS)
(
agent
?Y ?A)))))))
(
greaterThan
?PPROB ?NOTPPROB))
Mid-level-ontology.kif 22831-22848
typicalAction
Processo
and
AutonomousAgent
Entidade
e' uma
instancia
de
AutonomousAgent
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
agente
de
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
agente
de
Entidade
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
typicalBloodVolume
?M
(
MeasureFn
?N ?U))
(
instance
?MI ?M)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
DiseaseOrSyndrome
))
(
bloodVolume
?H
(
MeasureFn
?N2 ?U)))))
(
approximateValue
?N2 ?N))
Medicine.kif 5933-5944
typicalBloodVolume
Mamifero
and
Numero Real
Unidade de Medida
(s)
Mamifero
I e' uma
instancia
de
Mamifero
Doenca ou Sindrome
e' um
atributo
de
Entidade
bloodVolume
Entidade
and
Numero Real
2
Unidade de Medida
(s)
vale
durante
Posicao Temporal
approximateValue
Numero Real
2 and
Numero Real
(=>
(
and
(
typicalPart
?PART ?WHOLE)
(
instance
?X ?PART)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?Y)
(
and
(
instance
?Y ?WHOLE)
(
part
?X ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?Z)
(
and
(
instance
?Z ?WHOLE)
(
part
?X ?Z)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Mid-level-ontology.kif 23639-23656
typicalPart
Objeto
and
Objeto
Entidade
e' uma
instancia
de
Objeto
Objeto
PROB e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma &parte de
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma &parte de
Entidade
Objeto
PROB e'
maior
que
Numero Real
(=>
(
and
(
typicalTemporalPart
?PART ?WHOLE)
(
instance
?X ?PART)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?Y)
(
and
(
instance
?Y ?WHOLE)
(
temporalPart
?X ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?Z)
(
and
(
instance
?Z ?WHOLE)
(
temporalPart
?X ?Z)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Cars.kif 1453-1470
typicalTemporalPart
Processo
and
Processo
Entidade
e' uma
instancia
de
Processo
Processo
PROB e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma &parte de
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma &parte de
Entidade
Processo
PROB e'
maior
que
Numero Real
(=>
(
and
(
typicallyContainsPart
?PART ?WHOLE)
(
instance
?Y ?WHOLE)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?X1)
(
and
(
instance
?X1 ?PART)
(
part
?X1 ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?X2)
(
and
(
instance
?X2 ?PART)
(
part
?X2 ?Y)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Mid-level-ontology.kif 23676-23693
typicallyContainsPart
Objeto
and
Objeto
Entidade
e' uma
instancia
de
Objeto
Objeto
PROB e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma &parte de
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma &parte de
Entidade
Objeto
PROB e'
maior
que
Numero Real
(=>
(
and
(
typicallyContainsTemporalPart
?PART ?WHOLE)
(
instance
?Y ?WHOLE)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?X1)
(
and
(
instance
?X1 ?PART)
(
temporalPart
?X1 ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?X2)
(
and
(
instance
?X2 ?PART)
(
temporalPart
?X2 ?Y)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Cars.kif 1493-1510
typicallyContainsTemporalPart
Processo
and
Processo
Entidade
e' uma
instancia
de
Processo
Processo
PROB e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma &parte de
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma &parte de
Entidade
Processo
PROB e'
maior
que
Numero Real
(=>
(
and
(
unitNumber
?UNITSTR ?PLACE)
(
not
(
exists
(?FLR)
(
floorCode
?FLR ?PLACE))))
(
exists
(?UNIT)
(
and
(
instance
?UNIT
Room
)
(
names
?UNITSTR ?UNIT)
(
located
?UNIT ?PLACE))))
Mid-level-ontology.kif 24644-24654
unitNumber
Sequencia Simbolica
and
PostalPlace
Sequencia Simbolica
floorCode
Sequencia Simbolica
and
PostalPlace
Fisico
Fisico
e' uma
instancia
de
Comodo
Fisico
se chama
nome
Sequencia Simbolica
Fisico
e'
situado
em
PostalPlace
(=>
(
holdsDuring
?T1
(
and
(
member
?AGENT1
Public
)
(
member
?AGENT2
Public
)
(
not
(
equal
?AGENT1 ?AGENT2))))
(
exists
(?INTEREST)
(
holdsDuring
?T1
(
and
(
desires
?AGENT1 ?INTEREST)
(
desires
?AGENT2 ?INTEREST)))))
Mid-level-ontology.kif 26068-26079
Entidade
e'
membro
de
Public
Entidade
e'
membro
de
Public
Entidade
e'
igual
a
Entidade
vale
durante
Posicao Temporal
Entidade
Entidade
deseja
Entidade
Entidade
deseja
Entidade
vale
durante
Posicao Temporal
(=>
(
holdsDuring
?TIME
(
not
?SITUATION))
(
not
(
holdsDuring
?TIME ?SITUATION)))
Merge.kif 3895-3899
Formula
vale
durante
Posicao Temporal
Formula
vale
durante
Posicao Temporal
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