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
lengthOfNaturalGasPipeline
Sigma KEE - lengthOfNaturalGasPipeline
lengthOfNaturalGasPipeline
appearance as argument number 1
(
documentation
lengthOfNaturalGasPipeline
EnglishLanguage
"(
lengthOfNaturalGasPipeline
?AREA ?AMOUNT) means that in the GeograpicArea ?AREA there is the
LengthMeasure
?AMOUNT of
NaturalGasPipeline
.")
Transportation.kif 730-733
(
domain
lengthOfNaturalGasPipeline
1
GeographicArea
)
Transportation.kif 728-728
lengthOfNaturalGasPipeline
の数値 1 引数は
地理的地域
の
instance
では %n
(
domain
lengthOfNaturalGasPipeline
2
LengthMeasure
)
Transportation.kif 729-729
lengthOfNaturalGasPipeline
の数値 2 引数は
長さ測定
の
instance
では %n
(
instance
lengthOfNaturalGasPipeline
BinaryPredicate
)
Transportation.kif 727-727
lengthOfNaturalGasPipeline
は
2進述語
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
lengthOfNaturalGasPipeline
"%2 %n 是 %1 的 天然瓦斯管线的
length
")
domainEnglishFormat.kif 1503-1503
(
format
ChineseTraditionalLanguage
lengthOfNaturalGasPipeline
"%2 %n 是 %1 的 天然瓦斯管線的
length
")
domainEnglishFormat.kif 1502-1502
(
format
EnglishLanguage
lengthOfNaturalGasPipeline
"%2 is %n a
length
of natural gas pipeline of %1")
domainEnglishFormat.kif 1501-1501
(
termFormat
ChineseLanguage
lengthOfNaturalGasPipeline
"天然气管道长度")
domainEnglishFormat.kif 34013-34013
(
termFormat
ChineseTraditionalLanguage
lengthOfNaturalGasPipeline
"天然氣管道長度")
domainEnglishFormat.kif 34012-34012
(
termFormat
EnglishLanguage
lengthOfNaturalGasPipeline
"length of natural gas pipeline")
domainEnglishFormat.kif 34011-34011
antecedent
(<=>
(
lengthOfNaturalGasPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
NaturalGasPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 735-742
lengthOfNaturalGasPipeline
地理的地域
and
長さ測定
エンティティー
class
の
length
は
長さ測定
では
(=>
(
and
(
lengthOfNaturalGasPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 744-748
lengthOfNaturalGasPipeline
地理的地域
and
実数
の
Meter
(s)
totalPipelineInArea
地理的地域
and
実数
の
Meter
(s)
実数
は
実数
より
less
または同等 では %n
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