=>
(=>
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4854-4859
O maior divisor comum de @ROW e'
igual
a
Numero Inteiro
Entidade
e' um
membro
de (@ROW)
Entidade
e' uma
instancia
de
Numero
(=>
(
equal
(
ImmediateFamilyFn
?P) ?FAMILY)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?FAMILY)
(
exists
(?OTHER)
(
or
(
parent
?MEMBER ?OTHER)
(
parent
?OTHER ?MEMBER))))))
Merge.kif 16313-16321
ImmediateFamilyFn
Humano
e'
igual
a
Grupo Familiar
Organismo
Organismo
e'
membro
de
Grupo Familiar
Organismo
Organismo
e' um
genitor
de
Organismo
Organismo
e' um
genitor
de
Organismo
(=>
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4939-4944
O minimo multiplo comum de
numero
, de
inteiro
@ROW e'
igual
a
Numero Inteiro
Entidade
e' um
membro
de (@ROW)
Entidade
e' uma
instancia
de
Numero
(=>
(
equal
(
MinimalCutSetFn
?GRAPH) ?PATHCLASS)
(
exists
(?NUMBER)
(
forall
(?PATH)
(=>
(
instance
?PATH ?PATHCLASS)
(
pathLength
?PATH ?NUMBER)))))
Merge.kif 6091-6097
O
conjunto
minimal de caminhos que dividem
Grafo
em dois grafos distintos e'
igual
a
Caminho do Grafo
Inteiro positivo
Caminho do Grafo
Caminho do Grafo
e' uma
instancia
de
Caminho do Grafo
o
comprimento
de
Caminho do Grafo
e'
Inteiro positivo
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME)
(=>
(
and
(
instance
?TIME
TimePoint
)
(
temporalPart
?TIME ?INTERVAL))
(
exists
(?INSTANCE)
(
and
(
instance
?INSTANCE ?CLASS)
(
temporalPart
?TIME ?INSTANCE))))))
Merge.kif 9469-9479
Decomposicao
de
Intervalo Temporal
em
Intervalo Temporal
TYPEs e'
igual
a
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Ponto no tempo
Posicao Temporal
e' uma &parte de
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Posicao Temporal
e' uma &parte de
Posicao Temporal
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1 ?TIME2)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
instance
?TIME2 ?CLASS)
(
not
(
equal
?TIME1 ?TIME2)))
(
or
(
meetsTemporally
?TIME1 ?TIME2)
(
meetsTemporally
?TIME2 ?TIME1)
(
earlier
?TIME1 ?TIME2)
(
earlier
?TIME2 ?TIME1)))))
Merge.kif 9417-9429
Decomposicao
de
Intervalo Temporal
em
Intervalo Temporal
TYPEs e'
igual
a
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e'
igual
a
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1 ?TIME2)
(=>
(
and
(
instance
?TIME1 ?INTERVALTYPE)
(
instance
?TIME2 ?CLASS))
(
exists
(?DURATION)
(
and
(
duration
?TIME1 ?DURATION)
(
duration
?TIME2 ?DURATION))))))
Merge.kif 9405-9415
Decomposicao
de
Intervalo Temporal
em
Intervalo Temporal
TYPEs e'
igual
a
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
TYPE
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Duracao Temporal
a
duracao
de
Intervalo Temporal
e'
Duracao Temporal
a
duracao
de
Intervalo Temporal
e'
Duracao Temporal
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
not
(
finishes
?TIME1 ?INTERVAL)))
(
exists
(?TIME2)
(
and
(
instance
?TIME2 ?CLASS)
(
meetsTemporally
?TIME1 ?TIME2))))))
Merge.kif 9445-9455
Decomposicao
de
Intervalo Temporal
em
Intervalo Temporal
TYPEs e'
igual
a
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
nao
termina
em %n
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
not
(
starts
?TIME1 ?INTERVAL)))
(
exists
(?TIME2)
(
and
(
instance
?TIME2 ?CLASS)
(
meetsTemporally
?TIME2 ?TIME1))))))
Merge.kif 9457-9467
Decomposicao
de
Intervalo Temporal
em
Intervalo Temporal
TYPEs e'
igual
a
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
nao
comeca
em %n
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3))
(
overlapsSpatially
?OBJ2 ?OBJ1)))
Merge.kif 10108-10115
Objeto
e'
igual
a a
superficie
do buraco
Buraco
Objeto
e' uma parte
superficial
de o
dono
do buraco
Buraco
Buraco
encontra
Objeto
Objeto
engloba
Objeto
Objeto
engloba
Objeto
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3)))))
Merge.kif 10098-10106
Objeto
e'
igual
a a
superficie
do buraco
Buraco
Objeto
engloba
Objeto
Objeto
Objeto
e' uma parte
superficial
de o
dono
do buraco
Buraco
Buraco
encontra
Objeto
Objeto
engloba
Objeto
(=>
(
eventLocated
?PROCESS ?OBJ)
(
forall
(?SUB)
(=>
(
subProcess
?SUB ?PROCESS)
(
eventLocated
?SUB ?OBJ))))
Merge.kif 4127-4132
eventLocated
Processo
and
Objeto
Processo
Processo
e' um
sub
-processo de
Processo
eventLocated
Processo
and
Objeto
(=>
(
exhaustiveAttribute
?CLASS @ROW)
(
forall
(?ATTR1)
(=>
(
instance
?ATTR1 ?CLASS)
(
exists
(?ATTR2)
(
and
(
inList
?ATTR2
(
ListFn
@ROW))
(
equal
?ATTR1 ?ATTR2))))))
Merge.kif 509-517
exhaustiveAttribute
Atributo
and @ROW
Entidade
Entidade
e' uma
instancia
de
Atributo
Entidade
Entidade
e' um
membro
de (@ROW)
Entidade
e'
igual
a
Entidade
(=>
(
exhaustiveDecomposition
?CLASS @ROW)
(
forall
(?OBJ)
(=>
(
instance
?OBJ ?CLASS)
(
exists
(?ITEM)
(
and
(
inList
?ITEM
(
ListFn
@ROW))
(
instance
?OBJ ?ITEM))))))
Merge.kif 2940-2948
Classe
e'
coberto
por @ROW
Entidade
Entidade
e' uma
instancia
de
Classe
Classe
Classe
e' um
membro
de (@ROW)
Entidade
e' uma
instancia
de
Classe
(=>
(
exhaustiveDecomposition
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Class
)))
Merge.kif 558-562
@ROW e'
coberto
por @ROW
Entidade
e' um
membro
de (@ROW)
Entidade
e' uma
instancia
de
Classe
(=>
(
frequency
?PROC ?TIME1)
(
forall
(?TIME2)
(=>
(
duration
?TIME2 ?TIME1)
(
exists
(?POSITION)
(
and
(
temporalPart
?POSITION ?TIME2)
(
holdsDuring
?POSITION
(
exists
(?INST)
(
instance
?INST ?PROC))))))))
Merge.kif 7939-7949
Processo
ocorre
todos os
Duracao Temporal
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e'
Duracao Temporal
Posicao Temporal
Posicao Temporal
e' uma &parte de
Intervalo Temporal
Entidade
Entidade
e' uma
instancia
de
Processo
vale
durante
Posicao Temporal
(=>
(
heartRate
?H ?T ?I)
(
exists
(?C ?M)
(
and
(
instance
?C
Collection
)
(
memberType
?C
HeartBeat
)
(
memberCount
?C ?I)
(=>
(
member
?M ?C)
(
and
(
patient
?M ?H)
(
during
(
WhenFn
?M) ?T))))))
Mid-level-ontology.kif 10344-10356
heartRate
Heart
,
Intervalo Temporal
and
Numero Inteiro
Colecao
Processo
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
HeartBeat
memberCount
Colecao
and
Numero Inteiro
Processo
e'
membro
de
Colecao
Heart
e' um
patient
de
Processo
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
(=>
(
holdsDuring
?T
(
attribute
?H
Dizzy
))
(
holdsDuring
?T
(
believes
?H
(=>
(
exists
(?T2)
(
and
(
during
?T2 ?T)
(
holdsDuring
?T2
(
attribute
?H
Standing
))))
(
exists
(?F)
(
and
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
meetsTemporally
?T2
(
WhenFn
?F))))))))
Mid-level-ontology.kif 16410-16426
Dizzy
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
acredita
que
Posicao Temporal
2
Posicao Temporal
2 acontece
durante
Posicao Temporal
Standing
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
2
Entidade
Entidade
e' uma
instancia
de
Falling
Entidade
experimenta
Entidade
Posicao Temporal
2
encontra
tempo
de existencia de
Entidade
vale
durante
Posicao Temporal
(=>
(
holdsDuring
?T
(
attribute
?X
SafetyPosition
))
(
holdsDuring
?T
(
hasPurpose
?X
(
exists
(?P ?H ?I ?T2)
(
and
(
instance
?H
Human
)
(
instance
?P
Process
)
(
patient
?P ?H)
(
agent
?P ?X)
(
prevents
?P
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(=>
(
holdsDuring
?T2
(
experiencer
?I ?H))
(
not
(
holdsDuring
?T2
(
patient
?P ?H))))))))))))
Mid-level-ontology.kif 30695-30715
SafetyPosition
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
tem por
fim
Entidade
Entidade
,
Entidade
and
Posicao Temporal
2
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Entidade
Entidade
proibe
a ocurrencia de a
classe
descrita por
Entidade
vale
durante
Posicao Temporal
(=>
(
holdsDuring
?T1
(
prohibits
?A ?F))
(
exists
(?S ?B ?P)
(
and
(
instance
?S
Stating
)
(
during
(
WhenFn
?S) ?T1)
(
agent
?S ?A)
(
containsFormula
?S
(=>
(
causes
(
agent
?P ?B)
(
truth
?F
True
))
(
punishes
?A ?B))))))
Law.kif 65-78
prohibits
AutonomousAgent
and
Entidade
vale
durante
Intervalo Temporal
Processo
Entidade
and
Entidade
Processo
e' uma
instancia
de
Declarar
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Processo
e' um
agente
de
AutonomousAgent
containsFormula
Processo
and
Entidade
e' um
agente
de
Entidade
causa
truth
Entidade
and
True
punishes
AutonomousAgent
and
Entidade
(=>
(
holdsDuring
?TIME
(
direction
?PROC ?ATTR1))
(
forall
(?ATTR2)
(=>
(
holdsDuring
?TIME
(
direction
?PROC ?ATTR2))
(
equal
?ATTR2 ?ATTR1))))
Merge.kif 16968-16973
As entidades no processo
Entidade
se
movem
Entidade
vale
durante
Posicao Temporal
Entidade
as entidades no processo
Entidade
se
movem
Entidade
vale
durante
Posicao Temporal
Entidade
e'
igual
a
Entidade
(=>
(
holdsDuring
?TIME
(
faces
?PROC ?ATTR1))
(
forall
(?ATTR2)
(=>
(
holdsDuring
?TIME
(
faces
?PROC ?ATTR2))
(
equal
?ATTR2 ?ATTR1))))
Merge.kif 16984-16989
Entidade
na
frente
de
Entidade
vale
durante
Posicao Temporal
Entidade
Entidade
na
frente
de
Entidade
vale
durante
Posicao Temporal
Entidade
e'
igual
a
Entidade
(=>
(
instance
?ATOM
Atom
)
(
forall
(?NUCLEUS1 ?NUCLEUS2)
(=>
(
and
(
part
?NUCLEUS1 ?ATOM)
(
part
?NUCLEUS2 ?ATOM)
(
instance
?NUCLEUS1
AtomicNucleus
)
(
instance
?NUCLEUS2
AtomicNucleus
))
(
equal
?NUCLEUS1 ?NUCLEUS2))))
Merge.kif 1122-1131
Objeto
e' uma
instancia
de
Atomo
Objeto
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Nucleo Atomico
Objeto
e' uma
instancia
de
Nucleo Atomico
Objeto
e'
igual
a
Objeto
(=>
(
instance
?ATTR
PsychologicalAttribute
)
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORGANISM ?ATTR))
(
instance
?ORGANISM
Organism
))
(
holdsDuring
?TIME
(
attribute
?ORGANISM
Living
))))
Merge.kif 18292-18298
Entidade
e' uma
instancia
de
Atributo Psicologico
Entidade
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de
Organismo
Living
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
instance
?B
Bus
)
(
hasPurpose
?B
(
exists
(?C ?T ?N ?P)
(
and
(
instance
?C
Collection
)
(
instance
?T
Transportation
)
(
memberCount
?C ?N)
(
greaterThan
?N 11)
(=>
(
member
?P ?C)
(
patient
?T ?P))))))
Transportation.kif 1972-1983
Fisico
e' uma
instancia
de
Bus
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Colecao
Entidade
e' uma
instancia
de
Transporte
memberCount
Entidade
and
Entidade
Entidade
e'
maior
que 11
Entidade
e'
membro
de
Entidade
Entidade
e' um
patient
de
Entidade
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