Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Nodding
length
Sigma KEE - length
length
appearance as argument number 1
(
documentation
length
ChineseLanguage
"这是一个
BinaryPredicate
,它是用来表示一个
Object
最 长部分的幅度。")
chinese_format.kif 2643-2644
(
documentation
length
EnglishLanguage
"
BinaryPredicate
that is used to state the measure of an
Object
along its longest span.")
Merge.kif 7560-7561
(
documentation
length
JapaneseLanguage
"
BinaryPredicate
は、最も長いスパンに沿って
Object
のメジャーを述べるために使用される。")
japanese_format.kif 1360-1361
(
instance
length
BinaryPredicate
)
Merge.kif 7558-7558
例
length
and
BinaryPredicate
(
instance
length
SingleValuedRelation
)
Merge.kif 7556-7556
例
length
and
SingleValuedRelation
(
subrelation
length
linearExtent
)
Merge.kif 7557-7557
子關係
length
and
linearExtent
appearance as argument number 2
(
format
ChineseLanguage
length
"%1 的
length
%n 是 %2")
chinese_format.kif 613-613
(
format
EnglishLanguage
length
"the
length
of %1 is %n %2")
english_format.kif 616-616
(
format
FrenchLanguage
length
"le longueur de %1 est %n %2")
french_format.kif 371-371
(
format
ItalianLanguage
length
"la lunghezza di %1 è %n %2")
relations-it.txt 162-162
(
format
JapaneseLanguage
length
"%1 の
length
は %2 では %n ")
japanese_format.kif 2105-2105
(
format
PortugueseLanguage
length
"o comprimento de %1 e' %n %2")
portuguese_format.kif 323-323
(
format
cz
length
"d�lka %1 %p{je} %n{nen�} %2")
relations-cz.txt 380-380
(
format
de
length
"die laenge von %1 ist %2 %n{nicht}")
relations-de.txt 803-803
(
format
hi
length
"%1 kii lambaaii %2 %n hai")
relations-hindi.txt 201-201
(
format
ro
length
"
length
%t{lungimea} lui %1 %n{nu} este %2")
relations-ro.kif 393-393
(
format
sv
length
"längden av %1 är %n{inte} %2")
relations-sv.txt 412-412
(
format
tg
length
"ang haba ng %1 %n ay %2")
relations-tg.txt 323-323
(
subrelation
waterDepth
length
)
Mid-level-ontology.kif 17568-17568
子關係
水深
and
length
(
termFormat
ChineseLanguage
length
"长度")
chinese_format.kif 614-614
(
termFormat
EnglishLanguage
length
"length")
domainEnglishFormat.kif 65864-65864
(
termFormat
tg
length
"haba")
relations-tg.txt 324-324
antecedent
(=>
(
and
(
instance
?CPR
CPR
)
(
instance
?C
Compressing
)
(
path
?C ?P)
(
subProcess
?C ?CPR)
(
length
?P
(
MeasureFn
?L
Centimeter
)))
(
and
(
greaterThan
?L 5.0)
(
lessThan
?L 6.0)))
Medicine.kif 620-630
例
Process
and
CPR
例
Motion
and
Compressing
路徑
Motion
and
Object
子過程
Motion
and
Process
length
Object
and
測量
RealNumber
and
厘米
比較多
RealNumber
and 5.0
少於
RealNumber
and 6.0
(=>
(
and
(
instance
?ET
AuditoryCanal
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
length
?ET
(
MeasureFn
?N
Centimeter
)))
(
approximateValue
?N 2.5))
Anatomy.kif 1567-1574
例
Object
and
AuditoryCanal
部分
Object
and
Object
attribute
Object
and
Healthy
length
Object
and
測量
RealNumber
and
厘米
approximateValue
RealNumber
and 2.5
(=>
(
and
(
instance
?ET
EustachianTube
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
length
?ET
(
MeasureFn
?N
Centimeter
)))
(
approximateValue
?N 35.0))
Anatomy.kif 1517-1524
例
Object
and
EustachianTube
部分
Object
and
Object
attribute
Object
and
Healthy
length
Object
and
測量
RealNumber
and
厘米
approximateValue
RealNumber
and 35.0
(=>
(
and
(
instance
?MC
MuscleRelaxing
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 10555-10570
例
Process
and
MuscleRelaxing
患者
Process
and
Entity
例
Entity
and
Muscle
持有期間
不久的過去
何時
Process
and
length
Entity
and
測量
RealNumber
and
entity
持有期間
眼前的未來
何時
Process
and
length
Entity
and
測量
RealNumber
and
entity
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?MC
MuscularContraction
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N1 ?N2))
Mid-level-ontology.kif 10533-10548
例
Process
and
MuscularContraction
患者
Process
and
Entity
例
Entity
and
Muscle
持有期間
不久的過去
何時
Process
and
length
Entity
and
測量
RealNumber
and
entity
持有期間
眼前的未來
何時
Process
and
length
Entity
and
測量
RealNumber
and
entity
比較多
RealNumber
and
RealNumber
(=>
(
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
路徑
Motion
and
Object
起源
Motion
and
Object
目的地
Motion
and
Object
length
Object
and
測量
RealNumber
and
UnitOfMeasure
距離
Object
,
Object
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
部分
Object
and
Object
之間
Object
,
Object
and
Object
(=>
(
and
(
relativeAngle
?O1 ?O2 ?N)
(
physicalEnd
?E1 ?O1)
(
physicalEnd
?E2 ?O1)
(
not
(
equal
?E1 ?E2))
(
length
?O1
(
MeasureFn
?N1 ?U))
(
length
?O2
(
MeasureFn
?N2 ?U))
(
distance
?E1 ?E3
(
MeasureFn
?N3 ?U))
(
physicalEnd
?E3 ?O2)
(
physicalEnd
?E4 ?O2)
(
not
(
equal
?E3 ?E4))
(
not
(
meetsSpatially
?E1 ?E3)))
(
equal
?N
(
ArcCosineFn
(
DivisionFn
(
SubtractionFn
(
SubtractionFn
(
MultiplicationFn
?N3 ?N3)
(
MultiplicationFn
?N1 ?N1))
(
MultiplicationFn
?N2 ?N2))
(
MultiplicationFn
2.0
(
MultiplicationFn
?N1 ?N2))))))
Merge.kif 17906-17931
relativeAngle
Object
,
Object
and
RealNumber
physicalEnd
Object
and
Object
physicalEnd
Object
and
Object
等於
Object
and
Object
length
Object
and
測量
RealNumber
and
UnitOfMeasure
length
Object
and
測量
RealNumber
and
UnitOfMeasure
距離
Object
,
Object
and
測量
RealNumber
and
UnitOfMeasure
physicalEnd
Object
and
Object
physicalEnd
Object
and
Object
等於
Object
and
Object
空間的符合
Object
and
Object
等於
RealNumber
and
ArcCosineFn
部
減法
減法
乘法
RealNumber
and
RealNumber
and
乘法
RealNumber
and
RealNumber
and
乘法
RealNumber
and
RealNumber
and
乘法
2.0 and
乘法
RealNumber
and
RealNumber
(=>
(
length
?O
(
MeasureFn
?M ?U))
(
not
(
exists
(?M2)
(
and
(
linearExtent
?O
(
MeasureFn
?M2 ?U))
(
greaterThan
?M2 ?M)))))
Merge.kif 7563-7571
length
Physical
and
測量
RealNumber
and
UnitOfMeasure
RealNumber
Physical
的
linear
extent
是
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
consequent
(<=>
(
lengthOfBroadGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
BroadGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 182-189
LengthMeasure
是
GeographicArea
的軌道
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
寬軌鐵路
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
lengthOfCrudeOilPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
CrudeOilPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 712-719
LengthMeasure
是
GeographicArea
的原油管線
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
原油管道
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
lengthOfDualGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
DualGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 210-217
LengthMeasure
是
GeographicArea
的雙軌規格
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
DualGaugeRailway
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
lengthOfElectrifiedRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
ElectrifiedRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 126-133
LengthMeasure
是
GeographicArea
的電場軌道
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
電氣化鐵路
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
lengthOfExpresswaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
Expressway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 568-575
LengthMeasure
是
GeographicArea
的高速公路系統
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
高速公路
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
lengthOfMultipleTrackRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
MultipleTrackRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 154-161
LengthMeasure
是
GeographicArea
的多軌鐵路
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
多軌鐵路
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
lengthOfNarrowGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
NarrowGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 237-244
LengthMeasure
是
GeographicArea
的短規格鐵路的
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
窄軌鐵路
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
lengthOfNaturalGasPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
NaturalGasPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 735-742
LengthMeasure
是
GeographicArea
的 天然瓦斯管線的
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
天然氣管道
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
lengthOfPavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
SurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 542-549
LengthMeasure
是
GeographicArea
的鋪設鐵路
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
浮出水面的巷道
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
lengthOfPetroleumProductPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
PetroleumProductPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 758-765
LengthMeasure
是
GeographicArea
的石油產品管線
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
石油產品管道
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
lengthOfStandardGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
StandardGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 265-272
LengthMeasure
GeographicArea
的 標準規格管線
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
標準軌距鐵路
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
lengthOfUnclassifiedGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
located
?RAILWAYS ?AREA)
(
not
(
instance
?RAILWAYS
(
UnionFn
StandardGaugeRailway
(
UnionFn
BroadGaugeRailway
(
UnionFn
DualGaugeRailway
NarrowGaugeRailway
))))))) ?LENGTH))
Transportation.kif 294-306
LengthMeasure
是
GeographicArea
的未分類規格軌道
length
length
卡帕
SymbolicString
and
位於
SymbolicString
and
GeographicArea
例
SymbolicString
and
聯盟
標準軌距鐵路
and
聯盟
寬軌鐵路
and
聯盟
DualGaugeRailway
and
窄軌鐵路
and
LengthMeasure
(<=>
(
lengthOfUnpavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
UnsurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 601-608
LengthMeasure
是
GeographicArea
的未鋪設高速公路
length
length
卡帕
SymbolicString
and
例
SymbolicString
and
沒有鋪面的巷道
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
totalLengthOfHighwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
Roadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 484-491
LengthMeasure
是
GeographicArea
的
total
高速公路系統長度
length
卡帕
SymbolicString
and
例
SymbolicString
and
巷道
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
totalLengthOfRailwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
Railway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 98-105
LengthMeasure
是
GeographicArea
的
total
鐵路系統長度
length
卡帕
SymbolicString
and
例
SymbolicString
and
鐵路
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
totalLengthOfWaterways
?AREA ?LENGTH)
(
length
(
KappaFn
?WATERWAY
(
and
(
instance
?WATERWAY
Waterway
)
(
partlyLocated
?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 656-663
LengthMeasure
是
GeographicArea
的
total
水路長路
length
卡帕
SymbolicString
and
例
SymbolicString
and
水路
部分位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(<=>
(
totalPipelineInArea
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPE
(
and
(
instance
?PIPE
Pipeline
)
(
located
?PIPE ?AREA))) ?LENGTH))
Transportation.kif 685-692
LengthMeasure
是 在地區
GeographicArea
的
total
管線
length
卡帕
SymbolicString
and
例
SymbolicString
and
管道
位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
LongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 2438)
(
lessThanOrEqualTo
?LENGTH 3047)))))
Transportation.kif 1445-1457
例
Object
and
飛機場
attribute
Object
and
長跑道機場
Object
RealNumber
例
Object
and
跑道
部分
Object
and
Object
length
Object
and
測量
RealNumber
and
儀表
大於或等於
RealNumber
and 2438
小於或等於
RealNumber
and 3047
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
MediumLengthRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 1524)
(
lessThanOrEqualTo
?LENGTH 2437)))))
Transportation.kif 1426-1438
例
Object
and
飛機場
attribute
Object
and
中長跑道機場
Object
RealNumber
例
Object
and
跑道
部分
Object
and
Object
length
Object
and
測量
RealNumber
and
儀表
大於或等於
RealNumber
and 1524
小於或等於
RealNumber
and 2437
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
ShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 914)
(
lessThanOrEqualTo
?LENGTH 1523)))))
Transportation.kif 1407-1419
例
Object
and
飛機場
attribute
Object
and
短跑道機場
Object
RealNumber
例
Object
and
跑道
部分
Object
and
Object
length
Object
and
測量
RealNumber
and
儀表
大於或等於
RealNumber
and 914
小於或等於
RealNumber
and 1523
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryLongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
greaterThan
?LENGTH 3047))))
Transportation.kif 1464-1474
例
Object
and
飛機場
attribute
Object
and
很長的跑道機場
Object
RealNumber
例
Object
and
跑道
部分
Object
and
Object
length
Object
and
測量
RealNumber
and
儀表
比較多
RealNumber
and 3047
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
lessThan
?LENGTH 914))))
Transportation.kif 1391-1400
例
Object
and
飛機場
attribute
Object
and
很短的跑道機場
Object
RealNumber
例
Object
and
跑道
部分
Object
and
Object
length
Object
and
測量
RealNumber
and
儀表
少於
RealNumber
and 914
(=>
(
and
(
instance
?L
Lengthening
)
(
patient
?L ?O))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
length
?O
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
length
?O
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L2 ?L1))))
Mid-level-ontology.kif 23805-23820
例
Process
and
延長
患者
Process
and
Entity
Process
Process
and
Entity
例
Entity
and
UnitOfLength
持有期間
開始
何時
Process
and
length
Entity
and
測量
Process
and
Entity
持有期間
結束
何時
Process
and
length
Entity
and
測量
Process
and
Entity
比較多
Process
and
Process
(=>
(
and
(
instance
?S
Shortening
)
(
patient
?S ?O))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?S))
(
length
?O
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?S))
(
length
?O
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L1 ?L2))))
Mid-level-ontology.kif 17208-17223
例
Process
and
縮短
患者
Process
and
Entity
RealNumber
RealNumber
and
Entity
例
Entity
and
UnitOfLength
持有期間
開始
何時
Process
and
length
Entity
and
測量
RealNumber
and
Entity
持有期間
結束
何時
Process
and
length
Entity
and
測量
RealNumber
and
Entity
比較多
RealNumber
and
RealNumber
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
length
?O ?Q))
Mid-level-ontology.kif 31060-31065
memberMeasure
Set
,
MeasurementAttribute
and
LengthMeasure
例
Set
and
Set
元件
Physical
and
Set
length
Physical
and
LengthMeasure
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
length
(
ShorelineFn
SouthernOcean
Antarctica
)
(
MeasureFn
17968.0
(
KiloFn
Meter
)))
Geography.kif 4671-4674
length
南部海洋
和
南極洲
的
shoreline
and
測量
17968.0 and
千
儀表
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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