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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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


    (lengthOfPetroleumProductPipeline ?AREA ?LENGTH)
        (KappaFn ?PIPELINE
                (instance ?PIPELINE PetroleumProductPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 747-754
        (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