Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  lengthOfNaturalGasPipeline

 Sigma KEE - lengthOfNaturalGasPipeline
lengthOfNaturalGasPipeline

appearance as argument number 1
-------------------------


(instance lengthOfNaturalGasPipeline BinaryPredicate) Transportation.kif 727-727 length of natural gas pipeline is an instance of binary predicate
(domain lengthOfNaturalGasPipeline 1 GeographicArea) Transportation.kif 728-728 The number 1 argument of length of natural gas pipeline is an instance of geographic area
(domain lengthOfNaturalGasPipeline 2 LengthMeasure) Transportation.kif 729-729 The number 2 argument of length of natural gas pipeline is an instance of length measure
(documentation lengthOfNaturalGasPipeline EnglishLanguage "(lengthOfNaturalGasPipeline ?AREA ?AMOUNT) means that in the GeograpicArea ?AREA there is the LengthMeasure ?AMOUNT of NaturalGasPipeline.") Transportation.kif 730-733 The number 2 argument of length of natural gas pipeline is an instance of length measure

appearance as argument number 2
-------------------------


(format EnglishLanguage lengthOfNaturalGasPipeline "%2 is %n a length of natural gas pipeline of %1") domainEnglishFormat.kif 1501-1501
(format ChineseTraditionalLanguage lengthOfNaturalGasPipeline "%2 %n 是 %1 的 天然瓦斯管線的 length ") domainEnglishFormat.kif 1502-1502
(format ChineseLanguage lengthOfNaturalGasPipeline "%2 %n 是 %1 的 天然瓦斯管线的 length ") domainEnglishFormat.kif 1503-1503
(termFormat EnglishLanguage lengthOfNaturalGasPipeline "length of natural gas pipeline") domainEnglishFormat.kif 34015-34015
(termFormat ChineseTraditionalLanguage lengthOfNaturalGasPipeline "天然氣管道長度") domainEnglishFormat.kif 34016-34016
(termFormat ChineseLanguage lengthOfNaturalGasPipeline "天然气管道长度") domainEnglishFormat.kif 34017-34017

antecedent
-------------------------


(<=>
    (lengthOfNaturalGasPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE NaturalGasPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))		 Transportation.kif 735-742 X is a length of natural gas pipeline of Y if and only if the length of the class described by Z is X
(=>
    (and
        (lengthOfNaturalGasPipeline ?AREA
            (MeasureFn ?AMOUNT1 Meter))
        (totalPipelineInArea ?AREA
            (MeasureFn ?AMOUNT2 Meter)))
    (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2))		 Transportation.kif 744-748 If X meter(s) is a length of natural gas pipeline of Y and Z meter(s) is a total pipeline in area of Y, then X is less than or equal to Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners