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 The number 1 argument of length of natural gas pipeline is an instance of geographic area
(domain lengthOfNaturalGasPipeline 2 LengthMeasure) Transportation.kif 718-718 The number 2 argument of length of natural gas pipeline is an instance of length measure
(instance lengthOfNaturalGasPipeline BinaryPredicate) Transportation.kif 716-716 length of natural gas pipeline is an instance of binary predicate

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


(format EnglishLanguage lengthOfNaturalGasPipeline "%2 is %n a length of natural gas pipeline of %1") domainEnglishFormat.kif 384-384
(termFormat EnglishLanguage lengthOfNaturalGasPipeline "length of natural gas pipeline") domainEnglishFormat.kif 6087-6087 "length of natural gas pipeline" is the printable form of length of natural gas pipeline in english language

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


(<=>
    (lengthOfNaturalGasPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE NaturalGasPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 724-731 A length measure is a length of natural gas pipeline of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(=>
    (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