UnitOfLength
(=>
(
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
(
lowTide
?PLACE ?TIME1
(
MeasureFn
?AMOUNT1 ?U))
(
highTide
?PLACE ?TIME2
(
MeasureFn
?AMOUNT2 ?U))
(
instance
?U
UnitOfLength
)
(
instance
?DAY
Day
)
(
overlapsTemporally
?TIME1 ?DAY)
(
overlapsTemporally
?TIME2 ?DAY))
(
greaterThan
?AMOUNT1 ?AMOUNT2))
Geography.kif 5027-5037
lowTide
Regiao
,
Intervalo Temporal
and
Numero Real
Unidade de Medida
(s)
highTide
Regiao
,
Intervalo Temporal
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Intervalo Temporal
e' uma
instancia
de
Dia
Intervalo Temporal
engloba
Intervalo Temporal
Intervalo Temporal
engloba
Intervalo Temporal
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
physicalAmplitude
?T
(
MeasureFn
?L ?U))
(
instance
?U
UnitOfLength
)
(
patient
?T ?O))
(
not
(
exists
(?P1 ?P2 ?T1 ?T2 ?L2)
(
and
(
during
?T1
(
WhenFn
?T))
(
during
?T2
(
WhenFn
?T))
(
holdsDuring
?T1
(
located
?O ?P1))
(
holdsDuring
?T2
(
located
?O ?P2))
(
distance
?P1 ?P2
(
MeasureFn
?L2 ?U))
(
greaterThan
?L2 ?L)))))
Cars.kif 751-768
physicalAmplitude
Tremor
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Entidade
e' um
patient
de
Tremor
Fisico
Fisico
,
Tremor
1,
Tremor
2 and
Numero Real
2
Tremor
1 acontece
durante
tempo
de existencia de
Tremor
Tremor
2 acontece
durante
tempo
de existencia de
Tremor
Entidade
e'
situado
em
Fisico
vale
durante
Tremor
1
Entidade
e'
situado
em
Fisico
vale
durante
Tremor
2 a
distancia
entre
Fisico
e
Fisico
e'
Numero Real
2
Unidade de Medida
(s)
Numero Real
2 e'
maior
que
Numero Real
(=>
(
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
(
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
(
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
(
totalLengthOfHighwaySystem
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
lengthOfPavedHighway
?AREA
(
MeasureFn
?LENGTH1 ?UNIT))
(
lengthOfUnpavedHighway
?AREA
(
MeasureFn
?LENGTH2 ?UNIT))
(
instance
?UNIT
UnitOfLength
))
(
totalLengthOfHighwaySystem
?AREA
(
MeasureFn
(
AdditionFn
?LENGTH1 ?LENGTH2) ?UNIT)))
Transportation.kif 510-517
totalLengthOfHighwaySystem
Area Geografica
and
Numero Real
Unidade de Medida
(s)
lengthOfPavedHighway
Area Geografica
and
Numero Real
1
Unidade de Medida
(s)
lengthOfUnpavedHighway
Area Geografica
and
Numero Real
2
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
totalLengthOfHighwaySystem
Area Geografica
and (
Numero Real
1 +
Numero Real
2)
Unidade de Medida
(s)
(=>
(
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
(=>
(
and
(
totalPipelineInArea
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?PIPE)
(
and
(
instance
?PIPE
Pipeline
)
(
located
?PIPE ?AREA))))
Transportation.kif 694-702
totalPipelineInArea
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
Pipeline
Fisico
e'
situado
em
Area Geografica
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