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
O argumento numero 1 de
totalPipelineInArea
e' uma
instancia
de
Area Geografica
(
domain
totalPipelineInArea
2
LengthMeasure
)
Transportation.kif 680-680
O argumento numero 2 de
totalPipelineInArea
e' uma
instancia
de
Medida de Comprimento
(
instance
totalPipelineInArea
BinaryPredicate
)
Transportation.kif 678-678
totalPipelineInArea
e' uma
instancia
de
Predicado Binario
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 58604-58604
(
termFormat
ChineseTraditionalLanguage
totalPipelineInArea
"區域總管道")
domainEnglishFormat.kif 58603-58603
(
termFormat
EnglishLanguage
totalPipelineInArea
"total pipeline in area")
domainEnglishFormat.kif 58602-58602
antecedent
(<=>
(
totalPipelineInArea
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPE
(
and
(
instance
?PIPE
Pipeline
)
(
located
?PIPE ?AREA))) ?LENGTH))
Transportation.kif 685-692
totalPipelineInArea
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
(=>
(
and
(
lengthOfCrudeOilPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 721-725
lengthOfCrudeOilPipeline
Area Geografica
and
Numero Real
Meter
(s)
totalPipelineInArea
Area Geografica
and
Numero Real
Meter
(s)
Numero Real
e'
menor
ou igual a
Numero Real
(=>
(
and
(
lengthOfNaturalGasPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 744-748
lengthOfNaturalGasPipeline
Area Geografica
and
Numero Real
Meter
(s)
totalPipelineInArea
Area Geografica
and
Numero Real
Meter
(s)
Numero Real
e'
menor
ou igual a
Numero Real
(=>
(
and
(
lengthOfPetroleumProductPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 767-771
lengthOfPetroleumProductPipeline
Area Geografica
and
Numero Real
Meter
(s)
totalPipelineInArea
Area Geografica
and
Numero Real
Meter
(s)
Numero Real
e'
menor
ou igual a
Numero Real
(=>
(
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
totalPipelineInArea
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Numero Real
e'
maior
que 0
Fisico
Fisico
e' uma
instancia
de
Pipeline
Fisico
e'
situado
em
Area Geografica
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