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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CrudeOilPipeline
CrudeOilPipeline(crude oil pipeline)

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


(documentation CrudeOilPipeline EnglishLanguage "CrudeOilPipeline is the subclass of Pipelines that are used to carry CrudeOil.") Transportation.kif 798-799
(externalImage CrudeOilPipeline "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8f/ Trans-Alaska_Pipeline_System_Luca_Galuzzi_2005.jpg") pictureList.kif 4636-4636
(subclass CrudeOilPipeline Pipeline) Transportation.kif 797-797 Crude oil pipeline is a subclass of pipeline

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


(termFormat ChineseLanguage CrudeOilPipeline "原油管道") domainEnglishFormat.kif 17898-17898
(termFormat ChineseTraditionalLanguage CrudeOilPipeline "原油管道") domainEnglishFormat.kif 17897-17897
(termFormat EnglishLanguage CrudeOilPipeline "crude oil pipeline") domainEnglishFormat.kif 17896-17896

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


(=>
    (and
        (instance ?PIPE CrudeOilPipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?OIL))
    (instance ?OIL Petroleum))
Transportation.kif 801-807

consequent
-------------------------


(<=>
    (lengthOfCrudeOilPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE CrudeOilPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 712-719 A length measure is a length of crude oil pipeline of a geographic area if and only if the length of the class described by a symbolic string is the length measure


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners