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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lengthOfCrudeOilPipeline

Sigma KEE - lengthOfCrudeOilPipeline
lengthOfCrudeOilPipeline

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


(documentation lengthOfCrudeOilPipeline EnglishLanguage "(lengthOfCrudeOilPipeline ?AREA ?AMOUNT) means that in the GeograpicArea ?AREA there is the LengthMeasure ?AMOUNT of CrudeOilPipeline.") Transportation.kif 696-699
(domain lengthOfCrudeOilPipeline 1 GeographicArea) Transportation.kif 694-694
(domain lengthOfCrudeOilPipeline 2 LengthMeasure) Transportation.kif 695-695
(instance lengthOfCrudeOilPipeline BinaryPredicate) Transportation.kif 693-693

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


(format EnglishLanguage lengthOfCrudeOilPipeline "%2 is %n a length of crude oil pipeline of %1") domainEnglishFormat.kif 378-378
(termFormat EnglishLanguage lengthOfCrudeOilPipeline "length of crude oil pipeline") domainEnglishFormat.kif 6081-6081

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


(<=>
    (lengthOfCrudeOilPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE CrudeOilPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 701-708
(=>
    (and
        (lengthOfCrudeOilPipeline ?AREA ?AMOUNT1)
        (totalPipelineInArea ?AREA ?AMOUNT2))
    (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2))
Transportation.kif 710-714


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