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
totalPipelineInArea
Sigma KEE - totalPipelineInArea
totalPipelineInArea
appearance as argument number 1
(
documentation
totalPipelineInArea
EnglishLanguage
"(
totalPipelineInArea
?AREA ?LENGTH) means that the
GeopoliticalArea
?AREA has ?LENGTH of
Pipeline
s.")
Transportation.kif 681-683
(
domain
totalPipelineInArea
1
GeographicArea
)
Transportation.kif 679-679
区域总管道
的 1 数量 是
地理区域
的
instance
(
domain
totalPipelineInArea
2
LengthMeasure
)
Transportation.kif 680-680
区域总管道
的 2 数量 是
长度测量
的
instance
(
instance
totalPipelineInArea
BinaryPredicate
)
Transportation.kif 678-678
区域总管道
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
totalPipelineInArea
"%2 %n 是 在地区 %1 的
total
管线")
domainEnglishFormat.kif 2519-2519
(
format
ChineseTraditionalLanguage
totalPipelineInArea
"%2 %n 是 在地區 %1 的
total
管線")
domainEnglishFormat.kif 2518-2518
(
format
EnglishLanguage
totalPipelineInArea
"%2 is %n a
total
pipeline in area of %1")
domainEnglishFormat.kif 2517-2517
(
termFormat
ChineseLanguage
totalPipelineInArea
"区域总管道")
domainEnglishFormat.kif 58606-58606
(
termFormat
ChineseTraditionalLanguage
totalPipelineInArea
"區域總管道")
domainEnglishFormat.kif 58605-58605
(
termFormat
EnglishLanguage
totalPipelineInArea
"total pipeline in area")
domainEnglishFormat.kif 58604-58604
antecedent
(<=>
(
totalPipelineInArea
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPE
(
and
(
instance
?PIPE
Pipeline
)
(
located
?PIPE ?AREA))) ?LENGTH))
Transportation.kif 685-692
长度测量
是 在地区
地理区域
的
total
管线 若且唯若
符号串
所描述的类别 的
length
是
那个 长度测量
(=>
(
and
(
lengthOfCrudeOilPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 721-725
如果
实数
仪表
是
地理区域
的原油管线
length
和
另一个 实数
仪表
是 在地区
那个 地理区域
的
total
管线,
然后
那个 实数
是
lessThanOrEqualTo
那个 另外 实数
(=>
(
and
(
lengthOfNaturalGasPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 744-748
如果
实数
仪表
是
地理区域
的 天然瓦斯管线的
length
和
另一个 实数
仪表
是 在地区
那个 地理区域
的
total
管线,
然后
那个 实数
是
lessThanOrEqualTo
那个 另外 实数
(=>
(
and
(
lengthOfPetroleumProductPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 767-771
如果
实数
仪表
是
地理区域
的石油产品管线
length
和
另一个 实数
仪表
是 在地区
那个 地理区域
的
total
管线,
然后
那个 实数
是
lessThanOrEqualTo
那个 另外 实数
(=>
(
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
如果
实数
测量单位
是 在地区
地理区域
的
total
管线 和
那个 测量单位
是
UnitOfLength
的
instance
和
那个 实数
是
greaterThan
0,
然后 有存在
物理
这样
那个 物理
是
管道
的
instance
和
那个 物理
是
located
在
那个 地理区域
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