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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CrudeOilPipeline
CrudeOilPipeline

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


(documentation CrudeOilPipeline EnglishLanguage "CrudeOilPipeline is the subclass of Pipelines that are used to carry CrudeOil.") Transportation.kif 787-788
(externalImage CrudeOilPipeline "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8f/ Trans-Alaska_Pipeline_System_Luca_Galuzzi_2005.jpg") pictureList.kif 4637-4637 externalImage CrudeOilPipeline and "http://upload.wikimedia.org/wikipedia/commons/8/8f/ Trans-Alaska_Pipeline_System_Luca_Galuzzi_2005.jpg"
(subclass CrudeOilPipeline Pipeline) Transportation.kif 786-786 subclass CrudeOilPipeline and Pipeline

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


(termFormat ChineseLanguage CrudeOilPipeline "原油管道") domainEnglishFormat.kif 17827-17827 termFormat ChineseLanguage, CrudeOilPipeline and "原油管道"
(termFormat ChineseTraditionalLanguage CrudeOilPipeline "原油管道") domainEnglishFormat.kif 17826-17826 termFormat ChineseTraditionalLanguage, CrudeOilPipeline and "原油管道"
(termFormat EnglishLanguage CrudeOilPipeline "crude oil pipeline") domainEnglishFormat.kif 17825-17825 termFormat EnglishLanguage, CrudeOilPipeline and "crude oil pipeline"

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


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

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


(<=>
    (lengthOfCrudeOilPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE CrudeOilPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 701-708 lengthOfCrudeOilPipeline GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and CrudeOilPipeline located 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners