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
The number 1 argument of
total pipeline in area
is an
instance
of
geographic area
(
domain
totalPipelineInArea
2
LengthMeasure
)
Transportation.kif 680-680
The number 2 argument of
total pipeline in area
is an
instance
of
length measure
(
instance
totalPipelineInArea
BinaryPredicate
)
Transportation.kif 678-678
total pipeline in area
is an
instance
of
binary predicate
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 58616-58616
(
termFormat
ChineseTraditionalLanguage
totalPipelineInArea
"區域總管道")
domainEnglishFormat.kif 58615-58615
(
termFormat
EnglishLanguage
totalPipelineInArea
"total pipeline in area")
domainEnglishFormat.kif 58614-58614
antecedent
(<=>
(
totalPipelineInArea
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPE
(
and
(
instance
?PIPE
Pipeline
)
(
located
?PIPE ?AREA))) ?LENGTH))
Transportation.kif 685-692
A length measure
is a
total
pipeline in area of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(=>
(
and
(
lengthOfCrudeOilPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 721-725
If
a real number
meter
(s) is a
length
of crude oil 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
(=>
(
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
(=>
(
and
(
lengthOfPetroleumProductPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 767-771
If
a real number
meter
(s) is a
length
of petroleum product 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
(=>
(
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
If
a real number
an unit of measure
(s) is a
total
pipeline in area of
a geographic area
and
the unit of measure
is an
instance
of
unit of length
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
pipeline
and
the physical
is
located
at
the geographic area
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
