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
Il numero 1 argomenti di
lengthOfNaturalGasPipeline
è un
istanza
di
AreaGeografica
(
domain
lengthOfNaturalGasPipeline
2
LengthMeasure
)
Transportation.kif 729-729
Il numero 2 argomenti di
lengthOfNaturalGasPipeline
è un
istanza
di
MisuraDiLunghezza
(
instance
lengthOfNaturalGasPipeline
BinaryPredicate
)
Transportation.kif 727-727
lengthOfNaturalGasPipeline
è un'
istanza
di
PredicatoBinario
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 34013-34013
(
termFormat
ChineseTraditionalLanguage
lengthOfNaturalGasPipeline
"天然氣管道長度")
domainEnglishFormat.kif 34012-34012
(
termFormat
EnglishLanguage
lengthOfNaturalGasPipeline
"length of natural gas pipeline")
domainEnglishFormat.kif 34011-34011
antecedent
(<=>
(
lengthOfNaturalGasPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
NaturalGasPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 735-742
lengthOfNaturalGasPipeline
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(=>
(
and
(
lengthOfNaturalGasPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 744-748
lengthOfNaturalGasPipeline
AreaGeografica
and
NumeroReale
Meter
(s
totalPipelineInArea
AreaGeografica
and
NumeroReale
Meter
(s
NumeroReale
è
minore
o uguale a
NumeroReale
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