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