length
(=>
(
and
(
memberMeasure
?S
Length
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
length
?O ?Q))
Mid-level-ontology.kif 31053-31058
memberMeasure
Class
,
長度
and
LengthMeasure
例
Class
and
Class
例
Physical
and
Class
length
Physical
and
LengthMeasure
(=>
(
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
SelfConnectedObject
and
又長又瘦
SelfConnectedObject
SelfConnectedObject
,
RealNumber
,
RealNumber
,
RealNumber
and
UnitOfMeasure
側
SelfConnectedObject
and
SelfConnectedObject
側
SelfConnectedObject
and
SelfConnectedObject
空間的符合
SelfConnectedObject
and
SelfConnectedObject
等於
SelfConnectedObject
and
SelfConnectedObject
例
UnitOfMeasure
and
UnitOfLength
length
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
length
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
length
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
少於
RealNumber
and
乘法
3.0 and
RealNumber
少於
RealNumber
and
乘法
3.0 and
RealNumber
(=>
(
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
Object
的
maximum
預期長度是
測量
RealNumber
and
UnitOfMeasure
模態屬性
entity
RealNumber
ENGTH
例
entity
and
Object
length
entity
and
測量
RealNumber
ENGTH and
UnitOfMeasure
比較多
RealNumber
ENGTH and
UnitOfMeasure
and
較不可能
(=>
(
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
Object
的
minimum
預期長度是
測量
RealNumber
and
UnitOfMeasure
模態屬性
entity
RealNumber
ENGTH
例
entity
and
Object
length
entity
and
測量
RealNumber
ENGTH and
UnitOfMeasure
少於
RealNumber
ENGTH and
RealNumber
and
較不可能
(=>
(
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
例
SelfConnectedObject
and
AAV
length
SelfConnectedObject
and
測量
7.94 and
儀表
寬度
SelfConnectedObject
and
測量
3.27 and
儀表
測量
22.8 and
噸質量
是
SelfConnectedObject
的
weight
高度
SelfConnectedObject
and
測量
3.26 and
儀表
測量
480.0 and
公里
是
SelfConnectedObject
的
effective
範圍
(=>
(
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
例
SelfConnectedObject
and
AG m114
length
SelfConnectedObject
and
測量
1.63 and
儀表
寬度
SelfConnectedObject
and
測量
0.71 and
儀表
高度
SelfConnectedObject
and
測量
0.71 and
儀表
測量
45.0 and
公斤
是
SelfConnectedObject
的
weight
測量
8.0 and
公里
是
SelfConnectedObject
的
effective
範圍
(=>
(
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
例
SelfConnectedObject
and
AG m65
length
SelfConnectedObject
and
測量
2.55 and
儀表
寬度
SelfConnectedObject
and
測量
0.7 and
儀表
高度
SelfConnectedObject
and
測量
0.7 and
儀表
測量
302.0 and
公斤
是
SelfConnectedObject
的
weight
測量
27.0 and
公里
是
SelfConnectedObject
的
effective
範圍
(=>
(
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
例
SelfConnectedObject
and
A h1
length
SelfConnectedObject
and
測量
17.68 and
儀表
寬度
SelfConnectedObject
and
測量
14.63 and
儀表
高度
SelfConnectedObject
and
測量
4.44 and
儀表
測量
4634.0 and
公斤
是
SelfConnectedObject
的
weight
測量
587.0 and
公里
是
SelfConnectedObject
的
effective
範圍
(=>
(
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
例
SelfConnectedObject
and
AI m9
length
SelfConnectedObject
and
測量
2.85 and
儀表
寬度
SelfConnectedObject
and
測量
0.63 and
儀表
高度
SelfConnectedObject
and
測量
0.63 and
儀表
測量
91.0 and
公斤
是
SelfConnectedObject
的
weight
測量
18.0 and
公里
是
SelfConnectedObject
的
effective
範圍
(=>
(
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
例
SelfConnectedObject
and
C h46 d
length
SelfConnectedObject
and
測量
25.72 and
儀表
寬度
SelfConnectedObject
and
測量
15.54 and
儀表
高度
SelfConnectedObject
and
測量
5.1 and
儀表
測量
7047.0 and
公斤
是
SelfConnectedObject
的
weight
測量
676.0 and
公里
是
SelfConnectedObject
的
effective
範圍
(=>
(
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
例
SelfConnectedObject
and
C h53 e
length
SelfConnectedObject
and
測量
30.2 and
儀表
寬度
SelfConnectedObject
and
測量
24.1 and
儀表
高度
SelfConnectedObject
and
測量
8.46 and
儀表
測量
15071.0 and
公斤
是
SelfConnectedObject
的
weight
測量
2000.0 and
公里
是
SelfConnectedObject
的
effective
範圍
(=>
(
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
例
SelfConnectedObject
and
鷂2
length
SelfConnectedObject
and
測量
14.1 and
儀表
寬度
SelfConnectedObject
and
測量
9.2 and
儀表
高度
SelfConnectedObject
and
測量
3.5 and
儀表
測量
5700.0 and
公斤
是
SelfConnectedObject
的
weight
測量
1000.0 and
公里
是
SelfConnectedObject
的
effective
範圍
(=>
(
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
例
SelfConnectedObject
and
LAV25
length
SelfConnectedObject
and
測量
6.39 and
儀表
寬度
SelfConnectedObject
and
測量
2.5 and
儀表
高度
SelfConnectedObject
and
測量
2.69 and
儀表
測量
12802.8 and
公斤
是
SelfConnectedObject
的
weight
測量
660.1 and
公里
是
SelfConnectedObject
的
effective
範圍
(=>
(
instance
?LCAC
LCAC
)
(
and
(
length
?LCAC
(
MeasureFn
88.0
FootLength
))
(
effectiveRange
?LCAC
(
MeasureFn
555.0
Kilometer
))))
MilitaryDevices.kif 1967-1973
例
Device
and
LCAC
length
Device
and
測量
88.0 and
腳長
測量
555.0 and
公里
是
Device
的
effective
範圍
(=>
(
instance
?RUNWAY
Runway
)
(
exists
(?LENGTH)
(
and
(
instance
?LENGTH
LengthMeasure
)
(
length
?RUNWAY ?LENGTH))))
Transportation.kif 1305-1310
例
Physical
and
跑道
LengthMeasure
例
LengthMeasure
and
LengthMeasure
length
Physical
and
LengthMeasure
(=>
(
instance
?X
DoubleBed
)
(
and
(
width
?X
(
MeasureFn
1.35
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 3841-3845
例
Physical
and
DoubleBed
寬度
Physical
and
測量
1.35 and
儀表
length
Physical
and
測量
2.0 and
儀表
(=>
(
instance
?X
KingBed
)
(
and
(
width
?X
(
MeasureFn
1.9
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 3784-3788
例
Physical
and
KingBed
寬度
Physical
and
測量
1.9 and
儀表
length
Physical
and
測量
2.0 and
儀表
(=>
(
instance
?X
QueenBed
)
(
and
(
width
?X
(
MeasureFn
1.5
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 3815-3819
例
Physical
and
QueenBed
寬度
Physical
and
測量
1.5 and
儀表
length
Physical
and
測量
2.0 and
儀表
(=>
(
instance
?X
SingleBed
)
(
and
(
width
?X
(
MeasureFn
1.0
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 3867-3871
例
Physical
and
SingleBed
寬度
Physical
and
測量
1.0 and
儀表
length
Physical
and
測量
2.0 and
儀表
(=>
(
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
等於
DirectionalAttribute
and
北
等於
DirectionalAttribute
and
南
length
測量
0.0 and
圓周角度
的
region
DirectionalAttribute
and
測量
1.0 and
海裡
(=>
(
sharedBorderLength
?N1 ?N2 ?M)
(
length
(
BorderFn
?N1 ?N2) ?M))
Geography.kif 758-760
boundary
在
GeographicArea
和
GeographicArea
之間 是
LengthMeasure
長
length
GeographicArea
和
GeographicArea
的
border
and
LengthMeasure
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