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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 719-722
(domain lengthOfNaturalGasPipeline 1 GeographicArea) Transportation.kif 717-717 domain lengthOfNaturalGasPipeline, 1 and GeographicArea
(domain lengthOfNaturalGasPipeline 2 LengthMeasure) Transportation.kif 718-718 domain lengthOfNaturalGasPipeline, 2 and LengthMeasure
(instance lengthOfNaturalGasPipeline BinaryPredicate) Transportation.kif 716-716 instance lengthOfNaturalGasPipeline and BinaryPredicate

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 33925-33925 termFormat ChineseLanguage, lengthOfNaturalGasPipeline and "天然气管道长度"
(termFormat ChineseTraditionalLanguage lengthOfNaturalGasPipeline "天然氣管道長度") domainEnglishFormat.kif 33924-33924 termFormat ChineseTraditionalLanguage, lengthOfNaturalGasPipeline and "天然氣管道長度"
(termFormat EnglishLanguage lengthOfNaturalGasPipeline "length of natural gas pipeline") domainEnglishFormat.kif 33923-33923 termFormat EnglishLanguage, lengthOfNaturalGasPipeline and "length of natural gas pipeline"

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


(<=>
    (lengthOfNaturalGasPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE NaturalGasPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 724-731 lengthOfNaturalGasPipeline GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and NaturalGasPipeline located SymbolicString and GeographicArea and LengthMeasure
(=>
    (and
        (lengthOfNaturalGasPipeline ?AREA ?AMOUNT1)
        (totalPipelineInArea ?AREA ?AMOUNT2))
    (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2))
Transportation.kif 733-737


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners