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 "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 | CrudeOilPipeline e' uma sub-classe de 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 | lengthOfCrudeOilPipeline Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento |