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
Le nombre 1 argument de
totalPipelineInArea
est une
instance
de
secteur g�ographique
(
domain
totalPipelineInArea
2
LengthMeasure
)
Transportation.kif 680-680
Le nombre 2 argument de
totalPipelineInArea
est une
instance
de
mesure de longueur
(
instance
totalPipelineInArea
BinaryPredicate
)
Transportation.kif 678-678
totalPipelineInArea
est une
instance
de
pr�dicat binaire
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
totalPipelineInArea
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(=>
(
and
(
lengthOfCrudeOilPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 721-725
lengthOfCrudeOilPipeline
secteur g�ographique
and
nombre r�el
Meter
(s)
totalPipelineInArea
secteur g�ographique
and
nombre r�el
Meter
(s)
nombre r�el
est plus
petit
ou �gal �
nombre r�el
(=>
(
and
(
lengthOfNaturalGasPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 744-748
lengthOfNaturalGasPipeline
secteur g�ographique
and
nombre r�el
Meter
(s)
totalPipelineInArea
secteur g�ographique
and
nombre r�el
Meter
(s)
nombre r�el
est plus
petit
ou �gal �
nombre r�el
(=>
(
and
(
lengthOfPetroleumProductPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 767-771
lengthOfPetroleumProductPipeline
secteur g�ographique
and
nombre r�el
Meter
(s)
totalPipelineInArea
secteur g�ographique
and
nombre r�el
Meter
(s)
nombre r�el
est plus
petit
ou �gal �
nombre r�el
(=>
(
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
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfLength
nombre r�el
est
plus
grand
que 0
physique
physique
est une
instance
de
Pipeline
physique
est
situ
� �
secteur g�ographique
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