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
The number 1 argument of
length of natural gas pipeline
is an
instance
of
geographic area
(
domain
lengthOfNaturalGasPipeline
2
LengthMeasure
)
Transportation.kif 729-729
The number 2 argument of
length of natural gas pipeline
is an
instance
of
length measure
(
instance
lengthOfNaturalGasPipeline
BinaryPredicate
)
Transportation.kif 727-727
length of natural gas pipeline
is an
instance
of
binary predicate
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 34019-34019
(
termFormat
ChineseTraditionalLanguage
lengthOfNaturalGasPipeline
"天然氣管道長度")
domainEnglishFormat.kif 34018-34018
(
termFormat
EnglishLanguage
lengthOfNaturalGasPipeline
"length of natural gas pipeline")
domainEnglishFormat.kif 34017-34017
antecedent
(<=>
(
lengthOfNaturalGasPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
NaturalGasPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 735-742
A length measure
is a
length
of natural gas pipeline of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(=>
(
and
(
lengthOfNaturalGasPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 744-748
If
a real number
meter
(s) is a
length
of natural gas pipeline of
a geographic area
and
another real number
meter
(s) is a
total
pipeline in area of
the geographic area
,
then
the real number
is
less
than or equal to
the other real number
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
