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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - CrudeOilPipeline

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 " 8/ 8f/ Trans-Alaska_Pipeline_System_Luca_Galuzzi_2005.jpg") pictureList.kif 4636-4636
(subclass CrudeOilPipeline Pipeline) Transportation.kif 797-797 子類 原油管道 and 管道

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


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


    (lengthOfCrudeOilPipeline ?AREA ?LENGTH)
        (KappaFn ?PIPELINE
                (instance ?PIPELINE CrudeOilPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 712-719 LengthMeasure GeographicArea 的原油管線 length length 卡帕 SymbolicString and SymbolicString and 原油管道 位於 SymbolicString and GeographicArea and LengthMeasure

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