greaterThan
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?MELT)
(
lessThan
?TEMP ?BOIL))
(
attribute
?X
Liquid
))
Merge.kif 13809-13818
Objeto
e' uma
instancia
de
Substancia Pura
Substancia Pura
e' uma
sub
-classe de
Substancia Pura
boilingPoint
Substancia Pura
and
Numero Real
KelvinDegree
(s)
meltingPoint
Substancia Pura
and
Numero Real
KelvinDegree
(s) a
medida
de
Objeto
e'
Numero Real
KelvinDegree
(s)
Numero Real
e'
maior
que
Numero Real
Numero Real
e'
menos
que
Numero Real
Liquid
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
?PRES 29.92)
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
lessThan
?TEMP ?MELT))
(
attribute
?X
Solid
))
Merge.kif 13820-13829
Objeto
e' uma
instancia
de
Substancia Pura
Substancia Pura
e' uma
sub
-classe de
Substancia Pura
meltingPoint
Substancia Pura
and
Numero Real
KelvinDegree
(s)
barometricPressure
Objeto
and
Numero Real
InchMercury
(s)
Numero Real
e'
maior
que 29.92 a
medida
de
Objeto
e'
Numero Real
KelvinDegree
(s)
Numero Real
e'
menos
que
Numero Real
Solid
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
equal
?T1
(
BeginFn
?Y1))
(
equal
?T2
(
BeginFn
?Y2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8690-8697
Intervalo Temporal
e' uma
instancia
de o
ano
Numero Inteiro
Intervalo Temporal
e' uma
instancia
de o
ano
Numero Inteiro
Ponto no tempo
e'
igual
a o
comeco
de
Intervalo Temporal
Ponto no tempo
e'
igual
a o
comeco
de
Intervalo Temporal
Numero Inteiro
e'
maior
que
Numero Inteiro
Ponto no tempo
comeca
antes
de
Ponto no tempo
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
greaterThan
?N2 ?N1))
(
earlier
?Y1 ?Y2))
Merge.kif 8699-8704
Intervalo Temporal
e' uma
instancia
de o
ano
Numero Inteiro
Intervalo Temporal
e' uma
instancia
de o
ano
Numero Inteiro
Numero Inteiro
e'
maior
que
Numero Inteiro
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
(=>
(
and
(
lengthOfBroadGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
BroadGaugeRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 191-199
lengthOfBroadGaugeRailway
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Numero Real
e'
maior
que 0
Fisico
Fisico
e' uma
instancia
de
BroadGaugeRailway
Fisico
e'
situado
em
Area Geografica
(=>
(
and
(
lengthOfDualGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
DualGaugeRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 219-227
lengthOfDualGaugeRailway
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Numero Real
e'
maior
que 0
Fisico
Fisico
e' uma
instancia
de
DualGaugeRailway
Fisico
e'
situado
em
Area Geografica
(=>
(
and
(
lengthOfElectrifiedRailway
?AREA
(
MeasureFn
?LENGTH
Mile
))
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
ElectrifiedRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 135-143
lengthOfElectrifiedRailway
Area Geografica
and
Numero Real
Mile
(s)
Numero Real
e'
maior
que 0
Fisico
Fisico
e' uma
instancia
de
ElectrifiedRailway
Fisico
e'
situado
em
Area Geografica
(=>
(
and
(
lengthOfExpresswaySystem
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?HIGHWAY)
(
and
(
instance
?HIGHWAY
Expressway
)
(
located
?HIGHWAY ?AREA))))
Transportation.kif 577-585
lengthOfExpresswaySystem
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Numero Real
e'
maior
que 0
Fisico
Fisico
e' uma
instancia
de
Expressway
Fisico
e'
situado
em
Area Geografica
(=>
(
and
(
lengthOfMultipleTrackRailway
?AREA
(
MeasureFn
?LENGTH
Mile
))
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
MultipleTrackRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 163-171
lengthOfMultipleTrackRailway
Area Geografica
and
Numero Real
Mile
(s)
Numero Real
e'
maior
que 0
Fisico
Fisico
e' uma
instancia
de
MultipleTrackRailway
Fisico
e'
situado
em
Area Geografica
(=>
(
and
(
lengthOfNarrowGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
NarrowGaugeRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 246-254
lengthOfNarrowGaugeRailway
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Numero Real
e'
maior
que 0
Fisico
Fisico
e' uma
instancia
de
NarrowGaugeRailway
Fisico
e'
situado
em
Area Geografica
(=>
(
and
(
lengthOfPavedHighway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?HIGHWAY)
(
and
(
instance
?HIGHWAY
SurfacedRoadway
)
(
located
?HIGHWAY ?AREA))))
Transportation.kif 551-559
lengthOfPavedHighway
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Numero Real
e'
maior
que 0
Fisico
Fisico
e' uma
instancia
de
SurfacedRoadway
Fisico
e'
situado
em
Area Geografica
(=>
(
and
(
lengthOfStandardGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
StandardGaugeRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 274-282
lengthOfStandardGaugeRailway
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Numero Real
e'
maior
que 0
Fisico
Fisico
e' uma
instancia
de
StandardGaugeRailway
Fisico
e'
situado
em
Area Geografica
(=>
(
and
(
lengthOfUnclassifiedGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
Railway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 308-316
lengthOfUnclassifiedGaugeRailway
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Numero Real
e'
maior
que 0
Fisico
Fisico
e' uma
instancia
de
Railway
Fisico
e'
situado
em
Area Geografica
(=>
(
and
(
lengthOfUnpavedHighway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?HIGHWAY)
(
and
(
instance
?HIGHWAY
UnsurfacedRoadway
)
(
located
?HIGHWAY ?AREA))))
Transportation.kif 610-618
lengthOfUnpavedHighway
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Numero Real
e'
maior
que 0
Fisico
Fisico
e' uma
instancia
de
UnsurfacedRoadway
Fisico
e'
situado
em
Area Geografica
(=>
(
and
(
measure
?P1
(
MeasureFn
?N1
Lumen
))
(
measure
?P2
(
MeasureFn
?N2
Lumen
))
(
part
?P1 ?O)
(
part
?P2 ?O)
(
not
(
equal
?P1 ?P2))
(
greaterThan
?N1 ?N2)
(
equal
(
DivisionFn
?N1 ?N2) ?R)
(
contrastRatio
?O ?R))
(
not
(
exists
(?P3 ?P4 ?N3 ?N4)
(
and
(
measure
?P3
(
MeasureFn
?N3
Lumen
))
(
measure
?P4
(
MeasureFn
?N4
Lumen
))
(
part
?P3 ?O)
(
part
?P4 ?O)
(
not
(
equal
?P3 ?P4))
(
greaterThan
?N3 ?N4)
(
greaterThan
(
DivisionFn
?N3 ?N4) ?R)))))
ComputingBrands.kif 3735-3756
A
medida
de
Objeto
e'
Numero Real
Lumen
(s) a
medida
de
Objeto
e'
Numero Real
Lumen
(s)
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
igual
a
Objeto
Numero Real
e'
maior
que
Numero Real
Numero Real
+
Numero Real
e'
igual
a
Numero Real
contrastRatio
Objeto
and
Numero Real
Objeto
Objeto
,
Numero Real
and
Numero Real
a
medida
de
Objeto
e'
Numero Real
Lumen
(s) a
medida
de
Objeto
e'
Numero Real
Lumen
(s)
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
igual
a
Objeto
Numero Real
e'
maior
que
Numero Real
Numero Real
+
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
greaterThan
?AMOUNT ?DRAFT))
(
capability
(
TripFn
?SHIP)
path
?WATERWAY))
Transportation.kif 2653-2658
navigableForDraft
Area Aquatica
and
Numero Real
Meter
(s)
ladenDraft
WaterVehicle
and
Numero Real
Meter
(s)
Numero Real
e'
maior
que
Numero Real
Area Aquatica
e'
capaz
de fazer
TripFn
WaterVehicle
no role
path
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
greaterThan
(
SubtractionFn
?FAR ?LIMIT) 0.0))
(
not
(
located
?OBJ ?ZONE)))
Geography.kif 863-872
Objeto
e'
Outside
em relacao a
Regiao
Objeto
e' uma
instancia
de
PerimeterAreaFn
Regiao
Objeto
e' uma
instancia
de
UniformPerimeterArea
a
largura
de
Objeto
e'
Numero Real
Unidade de Medida
(s) a
distancia
entre
Objeto
e
Regiao
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
(
Numero Real
+
Numero Real
) e'
maior
que 0.0
Objeto
e'
situado
em
Objeto
(=>
(
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
(
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 11082-11092
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
(
subclass
?TEXT
Periodical
)
(
equal
(
SeriesVolumeFn
?TEXT ?INT1) ?VOLUME1)
(
equal
(
SeriesVolumeFn
?TEXT ?INT2) ?VOLUME2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?VOLUME1)
(
instance
?CBO2 ?VOLUME2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Mid-level-ontology.kif 14624-14638
Serie
e' uma
sub
-classe de
Periodico
o volume
Inteiro positivo
na
serie
Serie
e'
igual
a
Texto
o volume
Inteiro positivo
na
serie
Serie
e'
igual
a
Texto
Inteiro positivo
e'
maior
que
Inteiro positivo
Processo
e' uma
instancia
de
Publicacao
Processo
e' uma
instancia
de
Publicacao
Entidade
e' uma
instancia
de
Texto
Entidade
e' uma
instancia
de
Texto
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
a
data
de
Processo
e'
Dia
a
data
de
Processo
e'
Dia
o
fim
de
Dia
comeca
antes
de o
fim
de
Dia
(=>
(
and
(
topSpeed
?V
(
MeasureFn
?Q ?CU))
(
instance
?CU
CompositeUnitOfMeasure
)
(
instance
?UL
UnitOfLength
)
(
instance
?UD
UnitOfDuration
)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
SpeedFn
(
MeasureFn
?L1 ?UL)
(
MeasureFn
?T1 ?UD)))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
SpeedFn
(
MeasureFn
?L2 ?UL)
(
MeasureFn
?T2 ?UD)))))
(
greaterThan
(
SpeedFn
?L1 ?T1) ?Q)
(
greaterThan
?Q
(
SpeedFn
?L2 ?T2)))
(
greaterThan
?SLOWPROB ?FASTPROB))
Transportation.kif 1718-1736
topSpeed
Vehicle
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
CompositeUnitOfMeasure
Entidade
e' uma
instancia
de
UnitOfLength
Entidade
e' uma
instancia
de
UnitOfDuration
Numero Real
e'
igual
a a
probabilidade
de a
medida
de
Vehicle
e'
Medida de Comprimento
Entidade
(s)
por
Duracao Temporal
Entidade
(s)
Numero Real
e'
igual
a a
probabilidade
de a
medida
de
Vehicle
e'
Medida de Comprimento
Entidade
(s)
por
Duracao Temporal
Entidade
(s)
Medida de Comprimento
por
Duracao Temporal
e'
maior
que
Numero Real
Numero Real
e'
maior
que
Medida de Comprimento
por
Duracao Temporal
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
totalFacilityTypeInArea
?AREA
(
ExtensionFn
AirportWithUnpavedRunway
) ?COUNT)
(
greaterThan
?COUNT 0))
(
exists
(?AIRPORT ?RUNWAY)
(
and
(
instance
?AIRPORT
Airport
)
(
instance
?RUNWAY
UnpavedRunway
)
(
part
?RUNWAY ?AIRPORT)
(
located
?AIRPORT ?AREA))))
Transportation.kif 1482-1491
totalFacilityTypeInArea
Area Geografica
, a
classe
correspondente a
AirportWithUnpavedRunway
and
Numero Inteiro nao-negativo
Numero Inteiro nao-negativo
e'
maior
que 0
Objeto
Objeto
Objeto
e' uma
instancia
de
Airport
Objeto
e' uma
instancia
de
UnpavedRunway
Objeto
e' uma &parte de
Objeto
Objeto
e'
situado
em
Area Geografica
(=>
(
and
(
totalLengthOfHighwaySystem
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?HIGHWAY)
(
and
(
instance
?HIGHWAY
Roadway
)
(
located
?HIGHWAY ?AREA))))
Transportation.kif 493-501
totalLengthOfHighwaySystem
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Numero Real
e'
maior
que 0
Fisico
Fisico
e' uma
instancia
de
Roadway
Fisico
e'
situado
em
Area Geografica
(=>
(
and
(
totalLengthOfRailwaySystem
?AREA
(
MeasureFn
?LENGTH
Mile
))
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
Railway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 107-115
totalLengthOfRailwaySystem
Area Geografica
and
Numero Real
Mile
(s)
Numero Real
e'
maior
que 0
Fisico
Fisico
e' uma
instancia
de
Railway
Fisico
e'
situado
em
Area Geografica
(=>
(
and
(
totalLengthOfWaterways
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?WATERWAY)
(
and
(
instance
?WATERWAY
Waterway
)
(
located
?WATERWAY ?AREA))))
Transportation.kif 665-673
totalLengthOfWaterways
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Numero Real
e'
maior
que 0
Fisico
Fisico
e' uma
instancia
de
Waterway
Fisico
e'
situado
em
Area Geografica
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