| Pipeline
| |
| appearance as argument number 1 |
|
|
| (documentation Pipeline EnglishLanguage "Pipeline is the class of Transitways used to transport various kinds of fluids.") | Transportation.kif 763-764 | |
| (externalImage Pipeline "http://upload.wikimedia.org/wikipedia/en/5/56/Pipeline-small_image%2C_seen_from_below.jpeg") | pictureList.kif 875-875 | |
| (subclass Pipeline Transitway) | Transportation.kif 762-762 |
| appearance as argument number 2 |
|
|
| (subclass CrudeOilPipeline Pipeline) | Transportation.kif 786-786 | |
| (subclass NaturalGasPipeline Pipeline) | Transportation.kif 798-798 | |
| (subclass PetroleumProductPipeline Pipeline) | Transportation.kif 810-810 | |
| (subclass SewageSystem Pipeline) | Transportation.kif 774-774 | |
| (termFormat ChineseLanguage Pipeline "管道") | domainEnglishFormat.kif 45829-45829 | |
| (termFormat ChineseTraditionalLanguage Pipeline "管道") | domainEnglishFormat.kif 45828-45828 | |
| (termFormat EnglishLanguage Pipeline "pipeline") | domainEnglishFormat.kif 45827-45827 |
| antecedent |
|
|
| (=> (and (instance ?PIPE Pipeline) (instance ?MOTION Motion) (instrument ?MOTION ?PIPE) (patient ?MOTION ?STUFF)) (instance ?STUFF (ExtensionFn Fluid))) |
Transportation.kif 766-772 |
| consequent |
|
|
| (<=> (totalPipelineInArea ?AREA ?LENGTH) (length (KappaFn ?PIPE (and (instance ?PIPE Pipeline) (located ?PIPE ?AREA))) ?LENGTH)) |
Transportation.kif 674-681 | |
| (=> (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) (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 8388-8411 | |
| (=> (and (totalPipelineInArea ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?PIPE) (and (instance ?PIPE Pipeline) (located ?PIPE ?AREA)))) |
Transportation.kif 683-691 |
|
|
|