equal
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfCurrency
))
(
instance
?QUANT
CurrencyMeasure
))
Merge.kif 6388-6392
Numero Real
Unidade de Medida
(s) e'
igual
a
Quantidade Fisica
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Quantidade Fisica
e' uma
instancia
de
Medida de Divisa
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfDuration
))
(
instance
?QUANT
TimeDuration
))
Merge.kif 6400-6404
Numero Real
Unidade de Medida
(s) e'
igual
a
Quantidade Fisica
Unidade de Medida
e' uma
instancia
de
UnitOfDuration
Quantidade Fisica
e' uma
instancia
de
Duracao Temporal
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfFrequency
))
(
instance
?QUANT
FrequencyMeasure
))
Merge.kif 6846-6850
Numero Real
Unidade de Medida
(s) e'
igual
a
Quantidade Fisica
Unidade de Medida
e' uma
instancia
de
UnitOfFrequency
Quantidade Fisica
e' uma
instancia
de
FrequencyMeasure
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfInformation
))
(
instance
?QUANT
InformationMeasure
))
Merge.kif 6406-6410
Numero Real
Unidade de Medida
(s) e'
igual
a
Quantidade Fisica
Unidade de Medida
e' uma
instancia
de
UnitOfInformation
Quantidade Fisica
e' uma
instancia
de
Medida de Informacao
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfLength
))
(
instance
?QUANT
LengthMeasure
))
Merge.kif 6358-6362
Numero Real
Unidade de Medida
(s) e'
igual
a
Quantidade Fisica
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Quantidade Fisica
e' uma
instancia
de
Medida de Comprimento
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfMass
))
(
instance
?QUANT
MassMeasure
))
Merge.kif 6364-6368
Numero Real
Unidade de Medida
(s) e'
igual
a
Quantidade Fisica
Unidade de Medida
e' uma
instancia
de
UnitOfMass
Quantidade Fisica
e' uma
instancia
de
Medida de Massa
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfTemperature
))
(
instance
?QUANT
TemperatureMeasure
))
Merge.kif 6382-6386
Numero Real
Unidade de Medida
(s) e'
igual
a
Quantidade Fisica
Unidade de Medida
e' uma
instancia
de
UnitOfTemperature
Quantidade Fisica
e' uma
instancia
de
Medida de Temperatura
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfVolume
))
(
instance
?QUANT
VolumeMeasure
))
Merge.kif 6376-6380
Numero Real
Unidade de Medida
(s) e'
igual
a
Quantidade Fisica
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
Quantidade Fisica
e' uma
instancia
de
Medida de Volume
(=>
(
and
(
equal
(
MeasureFn
?Y
McgPerKg
)
(
PerFn
?M1 ?M2))
(
equal
?M1
(
MeasureFn
?NUM1
(
MicroFn
Gram
)))
(
equal
?M2
(
MeasureFn
?NUM2
(
KiloFn
Gram
))))
(
exists
(?I ?B ?A)
(
and
(
instance
?I
Ingesting
)
(
instance
?B
BiologicallyActiveSubstance
)
(
instance
?A
Organism
)
(
patient
?I ?B)
(
agent
?I ?A)
(
weight
?B ?M1)
(
weight
?A ?M2))))
WMD.kif 823-840
Numero Real
McgPerKg
(s) e'
igual
a
PerFn
Medida de Massa
and
Medida de Massa
Medida de Massa
e'
igual
a
Numero Real
um
milhonesimo
de
Gram
(s)
Medida de Massa
e'
igual
a
Numero Real
1
mil
Gram
s(s)
Processo
Objeto auto-conectado
and
Objeto auto-conectado
Processo
e' uma
instancia
de
Ingerir
Objeto auto-conectado
e' uma
instancia
de
Substancia Biologica Ativa
Objeto auto-conectado
e' uma
instancia
de
Organismo
Objeto auto-conectado
e' um
patient
de
Processo
Processo
e' um
agente
de
Objeto auto-conectado
weight
Objeto auto-conectado
and
Medida de Massa
weight
Objeto auto-conectado
and
Medida de Massa
(=>
(
and
(
equal
(
MinimalWeightedPathFn
?NODE1 ?NODE2) ?PATH)
(
equal
(
PathWeightFn
?PATH) ?NUMBER1)
(
instance
?PATH2
(
GraphPathFn
?NODE1 ?NODE2))
(
equal
(
PathWeightFn
?PATH2) ?NUMBER2))
(
greaterThanOrEqualTo
?NUMBER2 ?NUMBER1))
Merge.kif 6022-6028
O
menor
caminho
entre
No' do Grafo
e
No' do Grafo
e'
igual
a
Caminho do Grafo
o
valor
de
Caminho do Grafo
e'
igual
a
Numero Real
Caminho do Grafo
2 e' uma
instancia
de o
conjunto
de caminhos entre
No' do Grafo
e
No' do Grafo
o
valor
de
Caminho do Grafo
2 e'
igual
a
Numero Real
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
and
(
equal
(
PathWeightFn
?PATH) ?SUM)
(
graphPart
?ARC1 ?PATH)
(
graphPart
?ARC2 ?PATH)
(
arcWeight
?ARC1 ?NUMBER1)
(
arcWeight
?ARC2 ?NUMBER2)
(
forall
(?ARC3)
(=>
(
graphPart
?ARC3 ?PATH)
(
or
(
equal
?ARC3 ?ARC1)
(
equal
?ARC3 ?ARC2)))))
(
equal
(
PathWeightFn
?PATH)
(
AdditionFn
?NUMBER1 ?NUMBER2)))
Merge.kif 5993-6006
O
valor
de
Caminho do Grafo
e'
igual
a
Numero Real
Arco do Grafo
e' uma &parte de
Caminho do Grafo
Arco do Grafo
e' uma &parte de
Caminho do Grafo
o
valor
de
Arco do Grafo
e'
Numero Real
o
valor
de
Arco do Grafo
e'
Numero Real
Elemento do Grafo
Elemento do Grafo
e' uma &parte de
Caminho do Grafo
Elemento do Grafo
e'
igual
a
Arco do Grafo
Elemento do Grafo
e'
igual
a
Arco do Grafo
o
valor
de
Caminho do Grafo
e'
igual
a (
Numero Real
+
Numero Real
)
(=>
(
and
(
equal
(
PathWeightFn
?PATH) ?SUM)
(
subGraph
?SUBPATH ?PATH)
(
graphPart
?ARC1 ?PATH)
(
arcWeight
?ARC1 ?NUMBER1)
(
forall
(?ARC2)
(=>
(
graphPart
?ARC2 ?PATH)
(
or
(
graphPart
?ARC2 ?SUBPATH)
(
equal
?ARC2 ?ARC1)))))
(
equal
?SUM
(
AdditionFn
(
PathWeightFn
?SUBPATH) ?NUMBER1)))
Merge.kif 5979-5991
O
valor
de
Caminho do Grafo
e'
igual
a
Numero Real
Caminho do Grafo
e' um
sub
-grafo de
Caminho do Grafo
Arco do Grafo
e' uma &parte de
Caminho do Grafo
o
valor
de
Arco do Grafo
e'
Numero Real
Elemento do Grafo
Elemento do Grafo
e' uma &parte de
Caminho do Grafo
Elemento do Grafo
e' uma &parte de
Caminho do Grafo
Elemento do Grafo
e'
igual
a
Arco do Grafo
Numero Real
e'
igual
a (o
valor
de
Caminho do Grafo
+
Numero Real
)
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER 0))
(
not
(
equal
?NUMBER1 0))
(
not
(
equal
?NUMBER2 0)))
(
equal
(
SignumFn
?NUMBER2)
(
SignumFn
?NUMBER)))
Merge.kif 5130-5142
Numero Inteiro
mod
Numero Inteiro
e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
Numero Inteiro
e'
igual
a 0
Numero Inteiro
e'
igual
a 0
o
sinal
de
Numero Inteiro
e'
igual
a o
sinal
de
Numero Inteiro
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER2 0)))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 5104-5115
Numero Inteiro
mod
Numero Inteiro
e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
(o
maior
numero inteiro menor or igual a
Numero Inteiro
+
Numero Inteiro
+
Numero Inteiro
+
Numero Inteiro
) e'
igual
a
Numero Inteiro
(=>
(
and
(
equal
?A
(
AverageFn
?L))
(
greaterThan
(
ListLengthFn
?L) 0))
(
equal
?A
(
DivisionFn
(
ListSumFn
?L)
(
ListLengthFn
?L))))
Merge.kif 3277-3284
Numero Real
e'
igual
a
AverageFn
Lista
comprimento
de
Lista
e'
maior
que 0
Numero Real
e'
igual
a
ListSumFn
Lista
+
comprimento
de
Lista
(=>
(
and
(
equal
?A
(
AverageFn
?L))
(
inList
?N ?L))
(
instance
?N
Number
))
Merge.kif 3286-3290
Numero Real
e'
igual
a
AverageFn
Lista
Entidade
e' um
membro
de
Lista
Entidade
e' uma
instancia
de
Numero
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
equal
1
(
ListLengthFn
?L)))
(
equal
?A
(
ListOrderFn
?L 1)))
Merge.kif 3252-3256
Numero Real
e'
igual
a
ListSumFn
Lista
1 e'
igual
a
comprimento
de
Lista
Numero Real
e'
igual
a 1th
elemento
de
Lista
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?A
(
AdditionFn
(
FirstFn
?L)
(
ListSumFn
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Merge.kif 3258-3268
Numero Real
e'
igual
a
ListSumFn
Lista
comprimento
de
Lista
e'
maior
que 1
Numero Real
e'
igual
a (
FirstFn
Lista
+
ListSumFn
SubListFn
2,
comprimento
de
Lista
and
Lista
)
(=>
(
and
(
equal
?AF
(
OrganicObjectFn
?F))
(
subclass
?AF
AnimalFat
)
(
subclass
?F
FatTissue
))
(
initialPart
?F
Animal
))
Food.kif 2876-2882
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
AnimalFat
Objeto
e' uma
sub
-classe de
Tecido Gorduroso
initialPart
Objeto
and
Animal
(=>
(
and
(
equal
?B
(
OrganicObjectFn
?P))
(
subclass
?B
CoffeeBean
)
(
subclass
?P
Seed
))
(
initialPart
?P
CoffeePlant
))
Economy.kif 4629-4634
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
CoffeeBean
Objeto
e' uma
sub
-classe de
Seed
initialPart
Objeto
and
CoffeePlant
(=>
(
and
(
equal
?C
(
OrganicObjectFn
?S))
(
subclass
?C
CocoaBean
)
(
subclass
?S
Seed
))
(
initialPart
?S
CocoaTree
))
Economy.kif 4693-4699
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
CocoaBean
Objeto
e' uma
sub
-classe de
Seed
initialPart
Objeto
and
CocoaTree
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
Obter
e'
igual
a
ReceivingAnObjectFn
Objeto
Obter
e'
igual
a
ReceivingAnObjectFn
Objeto
Objeto
e' uma
sub
-classe de
Objeto
Obter
e' uma
sub
-classe de
Obter
(=>
(
and
(
equal
?D
(
AlbumCopiesFn
?A ?DS))
(
instance
?X ?D))
(
forall
(?S)
(=>
(
inList
?S ?A)
(
exists
(?C)
(
and
(
copy
?C ?S)
(
stored
?C ?X))))))
Music.kif 936-946
DataStorageDevice
e'
igual
a
AlbumCopiesFn
Album
and
DataStorageDevice
S
DataStorageDevice
e' uma
instancia
de
DataStorageDevice
Objeto
Objeto
e' um
membro
de
Album
Objeto Representendo Conteudo Abstrato
Objeto Representendo Conteudo Abstrato
e' uma
copia
exata de
Objeto
stored
Objeto Representendo Conteudo Abstrato
and
DataStorageDevice
(=>
(
and
(
equal
?DEP
(
DepartmentOfFn
?COMP ?PHYS))
(
subOrganization
?DEP2 ?COMP)
(
not
(
equal
?DEP ?DEP2))
(
instance
?I ?PHYS)
(
inScopeOfInterest
?DEP ?I)
(
equal
?P1
(
ProbabilityFn
(
agent
?P ?DEP)))
(
equal
?P2
(
ProbabilityFn
(
agent
?P ?DEP2))))
(
greaterThan
?P1 ?P2))
Mid-level-ontology.kif 18343-18358
Organizacao
e'
igual
a
DepartmentOfFn
Organizacao
and
Fisico
Organizacao
2 e' uma parte da organizacao
Organizacao
Organizacao
e'
igual
a
Organizacao
2
Entidade
e' uma
instancia
de
Fisico
Organizacao
esta'
interessado
em
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
e' um
agente
de
Organizacao
Entidade
2 e'
igual
a a
probabilidade
de
Entidade
e' um
agente
de
Organizacao
2
Numero Real
e'
maior
que
Entidade
2
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
)
(
subOrganization
?DEP ?COMP))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 18401-18406
Organizacao
e'
igual
a
DepartmentOfPreventingFn
Organizacao
and
Fisico
Fisico
e' uma
sub
-classe de
Processo
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
inhibe
Fisico
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