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

Formal Language: 

KB Term:  Term intersection
English Word: 


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


    (lengthOfCrudeOilPipeline ?AREA ?LENGTH)
        (KappaFn ?PIPELINE
                (instance ?PIPELINE CrudeOilPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 701-708
        (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