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

Formal Language: 



KB Term:  Term intersection
English Word: 

  totalPipelineInArea

Sigma KEE - totalPipelineInArea
totalPipelineInArea

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


(documentation totalPipelineInArea EnglishLanguage "(totalPipelineInArea ?AREA ?LENGTH) means that the GeopoliticalArea ?AREA has ?LENGTH of Pipelines.") Transportation.kif 670-672
(domain totalPipelineInArea 1 GeographicArea) Transportation.kif 668-668
(domain totalPipelineInArea 2 LengthMeasure) Transportation.kif 669-669
(instance totalPipelineInArea BinaryPredicate) Transportation.kif 667-667

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


(format EnglishLanguage totalPipelineInArea "%2 is %n a total pipeline in area of %1") domainEnglishFormat.kif 637-637
(termFormat EnglishLanguage totalPipelineInArea "total pipeline in area") domainEnglishFormat.kif 10191-10191

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


(<=>
    (totalPipelineInArea ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPE
            (and
                (instance ?PIPE Pipeline)
                (located ?PIPE ?AREA))) ?LENGTH))
Transportation.kif 674-681
(=>
    (and
        (lengthOfCrudeOilPipeline ?AREA ?AMOUNT1)
        (totalPipelineInArea ?AREA ?AMOUNT2))
    (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2))
Transportation.kif 710-714
(=>
    (and
        (lengthOfNaturalGasPipeline ?AREA ?AMOUNT1)
        (totalPipelineInArea ?AREA ?AMOUNT2))
    (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2))
Transportation.kif 733-737
(=>
    (and
        (lengthOfPetroleumProductPipeline ?AREA ?AMOUNT1)
        (totalPipelineInArea ?AREA ?AMOUNT2))
    (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2))
Transportation.kif 756-760
(=>
    (and
        (totalPipelineInArea ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?PIPE)
        (and
            (instance ?PIPE Pipeline)
            (located ?PIPE ?AREA))))
Transportation.kif 683-691


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