| Pipeline(pipeline)
| | Alaskan_pipeline, gas_line, line, oil_pipeline, pipage, pipe, pipeline, piping, trans-Alaska_pipeline |
| appearance as argument number 1 |
|
|
| (subclass Pipeline Transitway) | Transportation.kif 773-773 | Pipeline is a subclass of transitway |
| (documentation Pipeline EnglishLanguage "Pipeline is the class of Transitways used to transport various kinds of fluids.") | Transportation.kif 774-775 | Pipeline is a subclass of transitway |
| (externalImage Pipeline "http://upload.wikimedia.org/wikipedia/en/5/56/Pipeline_small_image%2C_seen_from_below.jpeg") | pictureList.kif 874-874 | Pipeline is a subclass of transitway |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?PIPE Pipeline) (instance ?MOTION Motion) (instrument ?MOTION ?PIPE) (patient ?MOTION ?STUFF)) (instance ?STUFF (ExtensionFn Fluid))) |
Transportation.kif 777-783 | If X is an instance of pipeline, Y is an instance of motion, X is an instrument for Y, and Z is a patient of Y, then Z is an instance of the class corresponding to fluid |
| consequent |
|
|
| (<=> (totalPipelineInArea ?AREA ?LENGTH) (length (KappaFn ?PIPE (and (instance ?PIPE Pipeline) (located ?PIPE ?AREA))) ?LENGTH)) |
Transportation.kif 685-692 | X is a total pipeline in area of Y if and only if the length of the class described by Z is X |
| (=> (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 | If X Y(s) is a total pipeline in area of Z, Y is an instance of unit of length, and X is greater than 0, then there exists W such that W is an instance of pipeline and W is located at Z |
| (=> (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 | If X is an instance of organization and pipeline transportation is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of human (6) W is a patient of Y (7) Z allows W to perform task of the type there exist V, U,, , T (8) S such that V is an instance of transportation (9) W possesses T (10) T is a patient of V (11) T is an instance of substance (12) X possesses U (13) S is an instrument for V (14) S is an instance of pipeline |
|
|
|