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
(
domain
totalPipelineInArea
2
LengthMeasure
)
Transportation.kif 680-680
(
instance
totalPipelineInArea
BinaryPredicate
)
Transportation.kif 678-678
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
(=>
(
and
(
lengthOfCrudeOilPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 721-725
(=>
(
and
(
lengthOfNaturalGasPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 744-748
(=>
(
and
(
lengthOfPetroleumProductPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 767-771
(=>
(
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
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