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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lengthOfPetroleumProductPipeline

Sigma KEE - lengthOfPetroleumProductPipeline
lengthOfPetroleumProductPipeline

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


(documentation lengthOfPetroleumProductPipeline EnglishLanguage "(lengthOfPetroleumProductPipeline ?AREA ?AMOUNT) means that in the GeograpicArea ?AREA there is the LengthMeasure ?AMOUNT of PetroleumProductPipeline.") Transportation.kif 742-745
(domain lengthOfPetroleumProductPipeline 1 GeographicArea) Transportation.kif 740-740
(domain lengthOfPetroleumProductPipeline 2 LengthMeasure) Transportation.kif 741-741
(instance lengthOfPetroleumProductPipeline BinaryPredicate) Transportation.kif 739-739

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


(format EnglishLanguage lengthOfPetroleumProductPipeline "%2 is %n a length of petroleum product pipeline of %1") domainEnglishFormat.kif 386-386
(termFormat EnglishLanguage lengthOfPetroleumProductPipeline "length of petroleum product pipeline") domainEnglishFormat.kif 6089-6089

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


(<=>
    (lengthOfPetroleumProductPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE PetroleumProductPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 747-754
(=>
    (and
        (lengthOfPetroleumProductPipeline ?AREA ?AMOUNT1)
        (totalPipelineInArea ?AREA ?AMOUNT2))
    (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2))
Transportation.kif 756-760


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