Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 Le nombre 1 argument de lengthOfNaturalGasPipeline est une instance de secteur g�ographique
(domain lengthOfNaturalGasPipeline 2 LengthMeasure) Transportation.kif 729-729 Le nombre 2 argument de lengthOfNaturalGasPipeline est une instance de mesure de longueur
(instance lengthOfNaturalGasPipeline BinaryPredicate) Transportation.kif 727-727 lengthOfNaturalGasPipeline est une instance de pr�dicat binaire

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 34022-34022
(termFormat ChineseTraditionalLanguage lengthOfNaturalGasPipeline "天然氣管道長度") domainEnglishFormat.kif 34021-34021
(termFormat EnglishLanguage lengthOfNaturalGasPipeline "length of natural gas pipeline") domainEnglishFormat.kif 34020-34020


    (lengthOfNaturalGasPipeline ?AREA ?LENGTH)
        (KappaFn ?PIPELINE
                (instance ?PIPELINE NaturalGasPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 735-742 lengthOfNaturalGasPipeline secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
        (lengthOfNaturalGasPipeline ?AREA
            (MeasureFn ?AMOUNT1 Meter))
        (totalPipelineInArea ?AREA
            (MeasureFn ?AMOUNT2 Meter)))
    (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2))
Transportation.kif 744-748

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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