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
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
NumeroReale
è
pi
ù grande di 0
Entit�Concreta
Entit�Concreta
è un'
istanza
di
NarrowGaugeRailway
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
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
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
NumeroReale
è
pi
ù grande di 0
Entit�Concreta
Entit�Concreta
è un'
istanza
di
SurfacedRoadway
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
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
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
NumeroReale
è
pi
ù grande di 0
Entit�Concreta
Entit�Concreta
è un'
istanza
di
StandardGaugeRailway
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
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
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
NumeroReale
è
pi
ù grande di 0
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Railway
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
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
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
NumeroReale
è
pi
ù grande di 0
Entit�Concreta
Entit�Concreta
è un'
istanza
di
UnsurfacedRoadway
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
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
Regione
,
IntervalloTemporale
and
NumeroReale
Unit�DiMisura
(s
highTide
Regione
,
IntervalloTemporale
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
IntervalloTemporale
è un'
istanza
di
Giorno
IntervalloTemporale
sovrappone
s
IntervalloTemporale
IntervalloTemporale
sovrappone
s
IntervalloTemporale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
Entit�
è un
paziente
di
Tremor
Entit�Concreta
Entit�Concreta
,
Tremor
1,
Tremor
2 and
NumeroReale
2
Tremor
1 has luogo
durante
il
tempo
di esistenza di
Tremor
Tremor
2 has luogo
durante
il
tempo
di esistenza di
Tremor
Entit�
è
localizzato
in
Entit�Concreta
vales
durante
Tremor
1
Entit�
è
localizzato
in
Entit�Concreta
vales
durante
Tremor
2 la
distanza
tra
Entit�Concreta
e
Entit�Concreta
è
NumeroReale
2
Unit�DiMisura
(s
NumeroReale
2 è
pi
ù grande di
NumeroReale
(=>
(
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
Oggetto
and
Oggetto
physicalEnd
Oggetto
and
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Unit�DiMisura
è un'
istanza
di
UnitOfLength
la
distanza
tra
Oggetto
e
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Oggetto
is
uguale
a
Oggetto
Oggetto
P1
Oggetto
P2 and
NumeroReale
Oggetto
P1 è una
parte
di
Oggetto
Oggetto
P2 è una
parte
di
Oggetto
la
distanza
tra
Oggetto
P1 e
Oggetto
P2 è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
CompositeUnitOfMeasure
Entit�
è un'
istanza
di
UnitOfLength
Entit�
è un'
istanza
di
UnitOfDuration
NumeroReale
is
uguale
a la
probabilit
à dila
misura
Vehicle
è
MisuraDiLunghezza
Entit�
(s
per
Durata
Entit�
(s
NumeroReale
is
uguale
a la
probabilit
à dila
misura
Vehicle
è
MisuraDiLunghezza
Entit�
(s
per
Durata
Entit�
(s
MisuraDiLunghezza
per
Durata
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di
MisuraDiLunghezza
per
Durata
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
NumeroReale
è
pi
ù grande di 0
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Roadway
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
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
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
lengthOfPavedHighway
AreaGeografica
and
NumeroReale
1
Unit�DiMisura
(s
lengthOfUnpavedHighway
AreaGeografica
and
NumeroReale
2
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
totalLengthOfHighwaySystem
AreaGeografica
and (
NumeroReale
1 +
NumeroReale
2
Unit�DiMisura
(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
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
NumeroReale
è
pi
ù grande di 0
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Waterway
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
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
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
NumeroReale
è
pi
ù grande di 0
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Pipeline
Entit�Concreta
è
localizzato
in
AreaGeografica
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