length
(=>
(
and
(
memberMeasure
?S
Length
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
length
?O ?Q))
Mid-level-ontology.kif 31053-31058
memberMeasure
Classe
,
Length
and
MisuraDiLunghezza
Classe
è un'
istanza
di
Classe
Entit�Concreta
è un'
istanza
di
Classe
la
lunghezza
di
Entit�Concreta
è
MisuraDiLunghezza
(=>
(
attribute
?F
LongAndThin
)
(
exists
(?S1 ?S2 ?HF ?H1 ?H2 ?U)
(
and
(
side
?S1 ?F)
(
side
?S2 ?F)
(
meetsSpatially
?S1 ?S2)
(
not
(
equal
?S1 ?S2))
(
instance
?U
UnitOfLength
)
(
length
?F
(
MeasureFn
?HF ?U))
(
length
?S1
(
MeasureFn
?H1 ?U))
(
length
?S2
(
MeasureFn
?H2 ?U))
(
lessThan
?H1
(
MultiplicationFn
3.0 ?HF))
(
lessThan
?H2
(
MultiplicationFn
3.0 ?HF)))))
Mid-level-ontology.kif 2803-2816
attribute
OggettoIntegro
and
LongAndThin
OggettoIntegro
OggettoIntegro
,
NumeroReale
,
NumeroReale
,
NumeroReale
and
Unit�DiMisura
un
lato
di
OggettoIntegro
è
OggettoIntegro
un
lato
di
OggettoIntegro
è
OggettoIntegro
OggettoIntegro
incontra
s
OggettoIntegro
OggettoIntegro
is
uguale
a
OggettoIntegro
Unit�DiMisura
è un'
istanza
di
UnitOfLength
la
lunghezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s la
lunghezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s la
lunghezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di3.0 +
NumeroReale
NumeroReale
è
meno
di3.0 +
NumeroReale
(=>
(
defaultMaximumLength
?O
(
MeasureFn
?L ?U))
(
modalAttribute
(
exists
(?INST ?LENGTH)
(
and
(
instance
?INST ?O)
(
length
?INST
(
MeasureFn
?LENGTH ?U))
(
greaterThan
?LENGTH ?U)))
Unlikely
))
Mid-level-ontology.kif 13431-13440
defaultMaximumLength
Oggetto
and
NumeroReale
Unit�DiMisura
(s
l'affermazione
Entit�
NumeroReale
ENGTH
Entit�
è un'
istanza
di
Oggetto
la
lunghezza
di
Entit�
è
NumeroReale
ENGTH
Unit�DiMisura
(s
NumeroReale
ENGTH è
pi
ù grande di
Unit�DiMisura
ha il modello di forza di
Unlikely
(=>
(
defaultMinimumLength
?OBJECT
(
MeasureFn
?L ?U))
(
modalAttribute
(
exists
(?INST ?LENGTH)
(
and
(
instance
?INST ?OBJECT)
(
length
?INST
(
MeasureFn
?LENGTH ?U))
(
lessThan
?LENGTH ?L)))
Unlikely
))
Mid-level-ontology.kif 13415-13423
defaultMinimumLength
Oggetto
and
NumeroReale
Unit�DiMisura
(s
l'affermazione
Entit�
NumeroReale
ENGTH
Entit�
è un'
istanza
di
Oggetto
la
lunghezza
di
Entit�
è
NumeroReale
ENGTH
Unit�DiMisura
(s
NumeroReale
ENGTH è
meno
di
NumeroReale
ha il modello di forza di
Unlikely
(=>
(
instance
?AAV
AAV
)
(
and
(
length
?AAV
(
MeasureFn
7.94
Meter
))
(
width
?AAV
(
MeasureFn
3.27
Meter
))
(
weight
?AAV
(
MeasureFn
22.8
TonMass
))
(
height
?AAV
(
MeasureFn
3.26
Meter
))
(
effectiveRange
?AAV
(
MeasureFn
480.0
Kilometer
))))
MilitaryDevices.kif 1662-1674
OggettoIntegro
è un'
istanza
di
AAV
la
lunghezza
di
OggettoIntegro
è 7.94
Meter
(s l'
ampiezza
di
OggettoIntegro
è 3.27
Meter
(s
weight
OggettoIntegro
and 22.8
TonMass
(s l'
altezza
di
OggettoIntegro
è 3.26
Meter
(s
effectiveRange
OggettoIntegro
and 480.0
Kilometer
(s
(=>
(
instance
?AGM114
AGM114
)
(
and
(
length
?AGM114
(
MeasureFn
1.63
Meter
))
(
width
?AGM114
(
MeasureFn
0.71
Meter
))
(
height
?AGM114
(
MeasureFn
0.71
Meter
))
(
weight
?AGM114
(
MeasureFn
45.0
Kilogram
))
(
effectiveRange
?AGM114
(
MeasureFn
8.0
Kilometer
))))
MilitaryDevices.kif 1235-1247
OggettoIntegro
è un'
istanza
di
AGM114
la
lunghezza
di
OggettoIntegro
è 1.63
Meter
(s l'
ampiezza
di
OggettoIntegro
è 0.71
Meter
(s l'
altezza
di
OggettoIntegro
è 0.71
Meter
(s
weight
OggettoIntegro
and 45.0
Kilogram
(s
effectiveRange
OggettoIntegro
and 8.0
Kilometer
(s
(=>
(
instance
?AGM65
AGM65
)
(
and
(
length
?AGM65
(
MeasureFn
2.55
Meter
))
(
width
?AGM65
(
MeasureFn
0.7
Meter
))
(
height
?AGM65
(
MeasureFn
0.7
Meter
))
(
weight
?AGM65
(
MeasureFn
302.0
Kilogram
))
(
effectiveRange
?AGM65
(
MeasureFn
27.0
Kilometer
))))
MilitaryDevices.kif 1155-1167
OggettoIntegro
è un'
istanza
di
AGM65
la
lunghezza
di
OggettoIntegro
è 2.55
Meter
(s l'
ampiezza
di
OggettoIntegro
è 0.7
Meter
(s l'
altezza
di
OggettoIntegro
è 0.7
Meter
(s
weight
OggettoIntegro
and 302.0
Kilogram
(s
effectiveRange
OggettoIntegro
and 27.0
Kilometer
(s
(=>
(
instance
?AH1
AH1
)
(
and
(
length
?AH1
(
MeasureFn
17.68
Meter
))
(
width
?AH1
(
MeasureFn
14.63
Meter
))
(
height
?AH1
(
MeasureFn
4.44
Meter
))
(
weight
?AH1
(
MeasureFn
4634.0
Kilogram
))
(
effectiveRange
?AH1
(
MeasureFn
587.0
Kilometer
))))
MilitaryDevices.kif 1900-1912
OggettoIntegro
è un'
istanza
di
AH1
la
lunghezza
di
OggettoIntegro
è 17.68
Meter
(s l'
ampiezza
di
OggettoIntegro
è 14.63
Meter
(s l'
altezza
di
OggettoIntegro
è 4.44
Meter
(s
weight
OggettoIntegro
and 4634.0
Kilogram
(s
effectiveRange
OggettoIntegro
and 587.0
Kilometer
(s
(=>
(
instance
?AIM9
AIM9
)
(
and
(
length
?AIM9
(
MeasureFn
2.85
Meter
))
(
width
?AIM9
(
MeasureFn
0.63
Meter
))
(
height
?AIM9
(
MeasureFn
0.63
Meter
))
(
weight
?AIM9
(
MeasureFn
91.0
Kilogram
))
(
effectiveRange
?AIM9
(
MeasureFn
18.0
Kilometer
))))
MilitaryDevices.kif 1189-1201
OggettoIntegro
è un'
istanza
di
AIM9
la
lunghezza
di
OggettoIntegro
è 2.85
Meter
(s l'
ampiezza
di
OggettoIntegro
è 0.63
Meter
(s l'
altezza
di
OggettoIntegro
è 0.63
Meter
(s
weight
OggettoIntegro
and 91.0
Kilogram
(s
effectiveRange
OggettoIntegro
and 18.0
Kilometer
(s
(=>
(
instance
?CH46D
CH46D
)
(
and
(
length
?CH46D
(
MeasureFn
25.72
Meter
))
(
width
?CH46D
(
MeasureFn
15.54
Meter
))
(
height
?CH46D
(
MeasureFn
5.1
Meter
))
(
weight
?CH46D
(
MeasureFn
7047.0
Kilogram
))
(
effectiveRange
?CH46D
(
MeasureFn
676.0
Kilometer
))))
MilitaryDevices.kif 1860-1872
OggettoIntegro
è un'
istanza
di
CH46D
la
lunghezza
di
OggettoIntegro
è 25.72
Meter
(s l'
ampiezza
di
OggettoIntegro
è 15.54
Meter
(s l'
altezza
di
OggettoIntegro
è 5.1
Meter
(s
weight
OggettoIntegro
and 7047.0
Kilogram
(s
effectiveRange
OggettoIntegro
and 676.0
Kilometer
(s
(=>
(
instance
?CH53E
CH53E
)
(
and
(
length
?CH53E
(
MeasureFn
30.2
Meter
))
(
width
?CH53E
(
MeasureFn
24.1
Meter
))
(
height
?CH53E
(
MeasureFn
8.46
Meter
))
(
weight
?CH53E
(
MeasureFn
15071.0
Kilogram
))
(
effectiveRange
?CH53E
(
MeasureFn
2000.0
Kilometer
))))
MilitaryDevices.kif 1788-1800
OggettoIntegro
è un'
istanza
di
CH53E
la
lunghezza
di
OggettoIntegro
è 30.2
Meter
(s l'
ampiezza
di
OggettoIntegro
è 24.1
Meter
(s l'
altezza
di
OggettoIntegro
è 8.46
Meter
(s
weight
OggettoIntegro
and 15071.0
Kilogram
(s
effectiveRange
OggettoIntegro
and 2000.0
Kilometer
(s
(=>
(
instance
?Harrier
Harrier2
)
(
and
(
length
?Harrier
(
MeasureFn
14.1
Meter
))
(
width
?Harrier
(
MeasureFn
9.2
Meter
))
(
height
?Harrier
(
MeasureFn
3.5
Meter
))
(
weight
?Harrier
(
MeasureFn
5700.0
Kilogram
))
(
effectiveRange
?Harrier
(
MeasureFn
1000.0
Kilometer
))))
MilitaryDevices.kif 1744-1756
OggettoIntegro
è un'
istanza
di
Harrier2
la
lunghezza
di
OggettoIntegro
è 14.1
Meter
(s l'
ampiezza
di
OggettoIntegro
è 9.2
Meter
(s l'
altezza
di
OggettoIntegro
è 3.5
Meter
(s
weight
OggettoIntegro
and 5700.0
Kilogram
(s
effectiveRange
OggettoIntegro
and 1000.0
Kilometer
(s
(=>
(
instance
?LAV
LAV25
)
(
and
(
length
?LAV
(
MeasureFn
6.39
Meter
))
(
width
?LAV
(
MeasureFn
2.5
Meter
))
(
height
?LAV
(
MeasureFn
2.69
Meter
))
(
weight
?LAV
(
MeasureFn
12802.8
Kilogram
))
(
effectiveRange
?LAV
(
MeasureFn
660.1
Kilometer
))))
MilitaryDevices.kif 1542-1554
OggettoIntegro
è un'
istanza
di
LAV25
la
lunghezza
di
OggettoIntegro
è 6.39
Meter
(s l'
ampiezza
di
OggettoIntegro
è 2.5
Meter
(s l'
altezza
di
OggettoIntegro
è 2.69
Meter
(s
weight
OggettoIntegro
and 12802.8
Kilogram
(s
effectiveRange
OggettoIntegro
and 660.1
Kilometer
(s
(=>
(
instance
?LCAC
LCAC
)
(
and
(
length
?LCAC
(
MeasureFn
88.0
FootLength
))
(
effectiveRange
?LCAC
(
MeasureFn
555.0
Kilometer
))))
MilitaryDevices.kif 1967-1973
Dispositivo
è un'
istanza
di
LCAC
la
lunghezza
di
Dispositivo
è 88.0
FootLength
(s
effectiveRange
Dispositivo
and 555.0
Kilometer
(s
(=>
(
instance
?RUNWAY
Runway
)
(
exists
(?LENGTH)
(
and
(
instance
?LENGTH
LengthMeasure
)
(
length
?RUNWAY ?LENGTH))))
Transportation.kif 1305-1310
Entit�Concreta
è un'
istanza
di
Runway
MisuraDiLunghezza
MisuraDiLunghezza
è un'
istanza
di
MisuraDiLunghezza
la
lunghezza
di
Entit�Concreta
è
MisuraDiLunghezza
(=>
(
instance
?X
DoubleBed
)
(
and
(
width
?X
(
MeasureFn
1.35
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 3841-3845
Entit�Concreta
è un'
istanza
di
DoubleBed
l'
ampiezza
di
Entit�Concreta
è 1.35
Meter
(s la
lunghezza
di
Entit�Concreta
è 2.0
Meter
(s
(=>
(
instance
?X
KingBed
)
(
and
(
width
?X
(
MeasureFn
1.9
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 3784-3788
Entit�Concreta
è un'
istanza
di
KingBed
l'
ampiezza
di
Entit�Concreta
è 1.9
Meter
(s la
lunghezza
di
Entit�Concreta
è 2.0
Meter
(s
(=>
(
instance
?X
QueenBed
)
(
and
(
width
?X
(
MeasureFn
1.5
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 3815-3819
Entit�Concreta
è un'
istanza
di
QueenBed
l'
ampiezza
di
Entit�Concreta
è 1.5
Meter
(s la
lunghezza
di
Entit�Concreta
è 2.0
Meter
(s
(=>
(
instance
?X
SingleBed
)
(
and
(
width
?X
(
MeasureFn
1.0
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 3867-3871
Entit�Concreta
è un'
istanza
di
SingleBed
l'
ampiezza
di
Entit�Concreta
è 1.0
Meter
(s la
lunghezza
di
Entit�Concreta
è 2.0
Meter
(s
(=>
(
or
(
equal
?DIRECTION
North
)
(
equal
?DIRECTION
South
))
(
length
(
LatitudeFn
?DIRECTION
(
MeasureFn
0.0
AngularDegree
)
(
MeasureFn
1.0
ArcMinute
)
(
MeasureFn
0.0
ArcSecond
))
(
MeasureFn
1.0
NauticalMile
)))
Geography.kif 433-440
AttributoDirezionale
is
uguale
a
North
AttributoDirezionale
is
uguale
a
South
la
lunghezza
di
LatitudeFn
AttributoDirezionale
, 0.0
AngularDegree
(s, 1.0
ArcMinute
(s and 0.0
ArcSecond
(s è 1.0
NauticalMile
(s
(=>
(
sharedBorderLength
?N1 ?N2 ?M)
(
length
(
BorderFn
?N1 ?N2) ?M))
Geography.kif 758-760
sharedBorderLength
AreaGeografica
,
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di
BorderFn
AreaGeografica
and
AreaGeografica
è
MisuraDiLunghezza
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