Pipeline |
appearance as argument number 1 |
(documentation Pipeline EnglishLanguage "Pipeline is the class of Transitways used to transport various kinds of fluids.") | Transportation.kif 774-775 | |
(externalImage Pipeline "http://upload.wikimedia.org/wikipedia/en/5/56/Pipeline-small_image%2C_seen_from_below.jpeg") | pictureList.kif 874-874 | |
(subclass Pipeline Transitway) | Transportation.kif 773-773 |
appearance as argument number 2 |
(subclass CrudeOilPipeline Pipeline) | Transportation.kif 797-797 | |
(subclass NaturalGasPipeline Pipeline) | Transportation.kif 809-809 | |
(subclass PetroleumProductPipeline Pipeline) | Transportation.kif 821-821 | |
(subclass SewageSystem Pipeline) | Transportation.kif 785-785 | |
(termFormat ChineseLanguage Pipeline "管道") | domainEnglishFormat.kif 45902-45902 | |
(termFormat ChineseTraditionalLanguage Pipeline "管道") | domainEnglishFormat.kif 45901-45901 | |
(termFormat EnglishLanguage Pipeline "pipeline") | domainEnglishFormat.kif 45900-45900 |
antecedent |
(=> (and (instance ?PIPE Pipeline) (instance ?MOTION Motion) (instrument ?MOTION ?PIPE) (patient ?MOTION ?STUFF)) (instance ?STUFF (ExtensionFn Fluid))) |
Transportation.kif 777-783 |
consequent |
(<=> (totalPipelineInArea ?AREA ?LENGTH) (length (KappaFn ?PIPE (and (instance ?PIPE Pipeline) (located ?PIPE ?AREA))) ?LENGTH)) |
Transportation.kif 685-692 | |
(=> (and (instance ?ORG Organization) (attribute ?ORG PipelineTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?T ?V ?OBJ ?PIPE) (and (instance ?T Transportation) (possesses ?P ?OBJ) (patient ?T ?OBJ) (instance ?OBJ Substance) (possesses ?ORG ?V) (instrument ?T ?PIPE) (instance ?PIPE Pipeline))) ?MEM ?P)))))) |
naics.kif 8465-8488 | |
(=> (and (totalPipelineInArea ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?PIPE) (and (instance ?PIPE Pipeline) (located ?PIPE ?AREA)))) |
Transportation.kif 694-702 |