equal
(=>
(
and
(
equal
?FY
(
FiscalYearStartingFn
?PLACE ?YEAR))
(
fiscalYearPeriod
?PLACE ?PERIOD)
(
instance
?FY ?PERIOD))
(
exists
(?DAY ?INST)
(
and
(
instance
?DAY
Day
)
(
starts
?DAY ?FY)
(
instance
?INST ?YEAR)
(
temporalPart
?DAY ?INST))))
Economy.kif 3754-3764
Intervalo Temporal
e'
igual
a
FiscalYearStartingFn
AutonomousAgent
and
Ano
fiscalYearPeriod
AutonomousAgent
and
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
Posicao Temporal
Intervalo Temporal
e' uma
instancia
de
Dia
Intervalo Temporal
comeca
em
Intervalo Temporal
Posicao Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
e' uma &parte de
Posicao Temporal
(=>
(
and
(
equal
?FY
(
FiscalYearStartingFn
?PLACE ?YEAR))
(
fiscalYearPeriod
?PLACE ?PERIOD))
(
instance
?FY ?PERIOD))
Economy.kif 3748-3752
Intervalo Temporal
e'
igual
a
FiscalYearStartingFn
AutonomousAgent
and
Ano
fiscalYearPeriod
AutonomousAgent
and
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
(=>
(
and
(
equal
?L
(
LineFn
?P1 ?P2))
(
part
?OP1 ?L)
(
part
?OP2 ?L)
(
not
(
equal
?OP1 ?OP2))
(
equal
?L2
(
LineFn
?OP1 ?OP2)))
(
part
?L2 ?L))
ComputingBrands.kif 2636-2644
Objeto
e'
igual
a
LineFn
Objeto
and
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
igual
a
Objeto
Objeto
2 e'
igual
a
LineFn
Objeto
and
Objeto
Objeto
2 e' uma &parte de
Objeto
(=>
(
and
(
equal
?LIST1 ?LIST2)
(
equal
?LIST1
(
ListFn
@ROW1))
(
equal
?LIST2
(
ListFn
@ROW2)))
(
equal
(
ListOrderFn
(
ListFn
@ROW1) ?NUMBER)
(
ListOrderFn
(
ListFn
@ROW2) ?NUMBER)))
Merge.kif 295-302
Lista
e'
igual
a
Lista
Lista
e'
igual
a (@ROW1)
Lista
e'
igual
a (@ROW2)
Entidade
elemento
de (@ROW1) e'
igual
a
Entidade
elemento
de (@ROW2)
(=>
(
and
(
equal
?LIST3
(
ListConcatenateFn
?LIST1 ?LIST2))
(
not
(
equal
?LIST1
NullList
))
(
not
(
equal
?LIST2
NullList
))
(
lessThanOrEqualTo
?NUMBER1
(
ListLengthFn
?LIST1))
(
lessThanOrEqualTo
?NUMBER2
(
ListLengthFn
?LIST2))
(
instance
?NUMBER1
PositiveInteger
)
(
instance
?NUMBER2
PositiveInteger
))
(
and
(
equal
(
ListOrderFn
?LIST3 ?NUMBER1)
(
ListOrderFn
?LIST1 ?NUMBER1))
(
equal
(
ListOrderFn
?LIST3
(
AdditionFn
(
ListLengthFn
?LIST1) ?NUMBER2))
(
ListOrderFn
?LIST2 ?NUMBER2))))
Merge.kif 3083-3102
Lista
e'
igual
a a
lista
composta de
Lista
e
Lista
Lista
e'
igual
a
NullList
Lista
e'
igual
a
NullList
Inteiro positivo
e'
menor
ou igual a
comprimento
de
Lista
Inteiro positivo
e'
menor
ou igual a
comprimento
de
Lista
Inteiro positivo
e' uma
instancia
de
Inteiro positivo
Inteiro positivo
e' uma
instancia
de
Inteiro positivo
Inteiro positivo
th
elemento
de
Lista
e'
igual
a
Inteiro positivo
th
elemento
de
Lista
(
comprimento
de
Lista
+
Inteiro positivo
)th
elemento
de
Lista
e'
igual
a
Inteiro positivo
th
elemento
de
Lista
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 4945-4950
Objeto
e'
igual
a
OrganicObjectFn
Objeto Organico
Objeto
e' uma
sub
-classe de
Carne
Objeto Organico
e' uma
sub
-classe de
Animal
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?G))
(
subclass
?M
Malt
)
(
subclass
?G
CerealGrain
))
(
initialPart
?G
CerealGrass
))
Economy.kif 4166-4172
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
Malt
Objeto
e' uma
sub
-classe de
CerealGrain
initialPart
Objeto
and
CerealGrass
(=>
(
and
(
equal
?MEASURE
(
MeasureFn
?NUMBER
Rad
))
(
measure
?OBJ ?MEASURE))
(
absorbedDose
?OBJ ?MEASURE))
MilitaryProcesses.kif 862-866
RadiationMeasure
e'
igual
a
Numero Real
Rad
(s) a
medida
de
Objeto
e'
RadiationMeasure
absorbedDose
Objeto
and
RadiationMeasure
(=>
(
and
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?QLIST))
(
equal
?QUANT
(
ListOrderFn
?QLIST ?N))
(
equal
?NUM
(
ListOrderFn
?NLIST ?N)))
(
equal
(
MeasureFn
?NUM ?UNIT) ?QUANT))
Weather.kif 1838-1845
NumberList
e'
igual
a
PhysicalQuantityToNumberFn
MeasuringResultList
Quantidade Fisica
e'
igual
a
Entidade
elemento
de
MeasuringResultList
Numero Real
e'
igual
a
Entidade
elemento
de
NumberList
Numero Real
Unidade de Medida
(s) e'
igual
a
Quantidade Fisica
(=>
(
and
(
equal
?O
(
OrganicObjectFn
?S))
(
subclass
?O
OilFromPlant
)
(
or
(
subclass
?S
Seed
)
(
subclass
?S
Fruit
)))
(
exists
(?P)
(
and
(
subclass
?P
FloweringPlant
)
(
initialPart
?S ?P))))
Economy.kif 4532-4543
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
OilFromPlant
Objeto
e' uma
sub
-classe de
Seed
Objeto
e' uma
sub
-classe de
Fruit
Objeto
Objeto
e' uma
sub
-classe de
Planta Florindo
initialPart
Objeto
and
Objeto
(=>
(
and
(
equal
?OBJ
(
MereologicalSumFn
?PART1 ?PART2))
(
connected
?PART1 ?PART2))
(
instance
?OBJ
SelfConnectedObject
))
Merge.kif 9521-9525
Objeto
e'
igual
a a
uniao
das partes de
Objeto
e
Objeto
Objeto
e'
conectado
com
Objeto
Objeto
e' uma
instancia
de
Objeto auto-conectado
(=>
(
and
(
equal
?OUT
(
ReverseFn
?IN))
(
equal
?LEN
(
StringLengthFn
?IN))
(
greaterThan
?LEN 1)
(
greaterThan
?N 0)
(
lessThan
?N ?LEN)
(
equal
?PIVOT
(
CeilingFn
(
DivisionFn
(
SubtractionFn
?LEN 1) 2)))
(
equal
?NEW
(
AdditionFn
(
SubtractionFn
?PIVOT ?N) ?PIVOT))
(
equal
?S
(
SubstringFn
?IN ?N
(
AdditionFn
1 ?N))))
(
equal
?S
(
SubstringFn
?OUT ?NEW
(
AdditionFn
1 ?NEW))))
Media.kif 3068-3089
Sequencia Simbolica
e'
igual
a
ReverseFn
Sequencia Simbolica
Numero Inteiro nao-negativo
e'
igual
a
StringLengthFn
Sequencia Simbolica
Numero Inteiro nao-negativo
e'
maior
que 1
Numero Inteiro nao-negativo
e'
maior
que 0
Numero Inteiro nao-negativo
e'
menos
que
Numero Inteiro nao-negativo
Numero Inteiro
e'
igual
a o
teto
de (
Numero Inteiro nao-negativo
+ 1) + 2
Numero Inteiro nao-negativo
EW e'
igual
a ((
Numero Inteiro
+
Numero Inteiro nao-negativo
) +
Numero Inteiro
)
Sequencia Simbolica
e'
igual
a
SubstringFn
Sequencia Simbolica
,
Numero Inteiro nao-negativo
and (1 +
Numero Inteiro nao-negativo
)
Sequencia Simbolica
e'
igual
a
SubstringFn
Sequencia Simbolica
,
Numero Inteiro nao-negativo
EW and (1 +
Numero Inteiro nao-negativo
EW)
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
exists
(?R ?O)
(
and
(
instance
?R
(
DeadFn
?ORG))
(
part
?R ?O)
(
instance
?O ?ORG))))
Economy.kif 5267-5276
Objeto
e'
igual
a
OrganicObjectFn
Objeto Organico
Objeto
e' uma
sub
-classe de
Objeto
Objeto
Objeto
Objeto
e' uma
instancia
de
DeadFn
Objeto Organico
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Objeto Organico
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5258-5265
Objeto
e'
igual
a
OrganicObjectFn
Objeto Organico
Objeto
e' uma
sub
-classe de
Objeto
Objeto Organico
e' uma
sub
-classe de
Organismo
Objeto Organico
e' uma
sub
-classe de
Estructura Anatomica
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?S))
(
subclass
?P
Pelt
))
(
subclass
?S
Skin
))
Economy.kif 5032-5036
Objeto
e'
igual
a
OrganicObjectFn
Objeto Organico
Objeto
e' uma
sub
-classe de
Pelt
Objeto Organico
e' uma
sub
-classe de
Skin
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
benefits
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 22920-22925
Ponto no tempo
e'
igual
a o
comeco
de
tempo
de existencia de
Processo
Ponto no tempo
e'
igual
a o
fim
de
tempo
de existencia de
AutonomousAgent
benefits
Processo
and
AutonomousAgent
Ponto no tempo
comeca
antes
de
Ponto no tempo
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
suffers
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 29595-29604
Ponto no tempo
e'
igual
a o
comeco
de
tempo
de existencia de
Processo
Ponto no tempo
e'
igual
a o
fim
de
tempo
de existencia de
AutonomousAgent
suffers
Processo
and
AutonomousAgent
Ponto no tempo
comeca
antes
de
Ponto no tempo
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
equal
(
SubtractionFn
?E ?S) 0))
(
equal
?R
NullList
))
Merge.kif 3170-3177
Lista
e'
igual
a
SubListFn
Numero Inteiro
,
Numero Inteiro
and
Lista
(
Numero Inteiro
+
Numero Inteiro
) e'
igual
a 0
Lista
e'
igual
a
NullList
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
equal
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListFn
(
ListOrderFn
?L ?S))))
Merge.kif 3179-3188
Lista
e'
igual
a
SubListFn
Inteiro positivo
,
Numero Inteiro
and
Lista
(
Numero Inteiro
+
Inteiro positivo
) e'
igual
a 1
Lista
e'
igual
a (
Inteiro positivo
th
elemento
de
Lista
)
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
greaterThan
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListConcatenateFn
(
ListFn
(
ListOrderFn
?L ?S))
(
SubListFn
(
AdditionFn
1 ?S) ?E ?L))))
Merge.kif 3190-3202
Lista
e'
igual
a
SubListFn
Inteiro positivo
,
Numero Inteiro
and
Lista
(
Numero Inteiro
+
Inteiro positivo
) e'
maior
que 1
Lista
e'
igual
a a
lista
composta de (
Inteiro positivo
th
elemento
de
Lista
) e
SubListFn
(1 +
Inteiro positivo
),
Numero Inteiro
and
Lista
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?F))
(
subclass
?S
Suet
)
(
subclass
?F
FatTissue
))
(
or
(
initialPart
?F
Cattle
)
(
initialPart
?F
Sheep
)))
Food.kif 2906-2914
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
Suet
Objeto
e' uma
sub
-classe de
Tecido Gorduroso
initialPart
Objeto
and
Cattle
initialPart
Objeto
and
Sheep
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Lambskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Lamb
))
Economy.kif 5041-5046
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
Lambskin
Objeto
e' uma
sub
-classe de
Skin
initialPart
Objeto
and
Lamb
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Sheepskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Sheep
))
Economy.kif 5051-5056
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
Sheepskin
Objeto
e' uma
sub
-classe de
Skin
initialPart
Objeto
and
Sheep
(=>
(
and
(
equal
?S
(
SongFn
?MC ?LC))
(
realization
?S ?MUSIC))
(
exists
(?MM ?MV)
(
and
(
patient
?MM ?MC)
(
patient
?MV ?LC)
(
subProcess
?MM ?MUSIC)
(
subProcess
?MV ?MUSIC))))
Music.kif 867-876
Song
e'
igual
a
SongFn
MusicalComposition
and
LyricalContent
Song
exprime
o conteudo de
Processo
Processo
Processo
MusicalComposition
e' um
patient
de
Processo
LyricalContent
e' um
patient
de
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
(=>
(
and
(
equal
?SPEEDLIST
(
Mean3SecondWindSpeedListFn
?PLACE ?TIME))
(
inList
?SPEED ?SPEEDLIST))
(
exists
(?TIMELIST ?INT)
(
and
(
equal
?TIMELIST
(
TimeIntervalListFn
?TIME
(
MeasureFn
3
SecondDuration
)))
(
inList
?INT ?TIMELIST)
(
equal
?SPEED
(
Mean3SecondWindSpeedFn
?PLACE ?INT)))))
Weather.kif 2005-2017
Lista
e'
igual
a
Mean3SecondWindSpeedListFn
Area Geografica
and
Intervalo Temporal
Funcao de Quantidade
e' um
membro
de
Lista
Intervalo Temporal
LIST
Intervalo Temporal
Intervalo Temporal
LIST e'
igual
a
TimeIntervalListFn
Intervalo Temporal
and 3
SecondDuration
(s)
Intervalo Temporal
e' um
membro
de
Intervalo Temporal
LIST
Funcao de Quantidade
e'
igual
a
Mean3SecondWindSpeedFn
Area Geografica
and
Intervalo Temporal
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