Pipeline - Sigma Knowledge base Browser

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	子類管道 and 公交專用道

appearance as argument number 2

(subclass CrudeOilPipeline Pipeline)	Transportation.kif 797-797	子類原油管道 and 管道
(subclass NaturalGasPipeline Pipeline)	Transportation.kif 809-809	子類天然氣管道 and 管道
(subclass PetroleumProductPipeline Pipeline)	Transportation.kif 821-821	子類石油產品管道 and 管道
(subclass SewageSystem Pipeline)	Transportation.kif 785-785	子類排污系統 and 管道
(termFormat ChineseLanguage Pipeline "管道")	domainEnglishFormat.kif 45900-45900
(termFormat ChineseTraditionalLanguage Pipeline "管道")	domainEnglishFormat.kif 45899-45899
(termFormat EnglishLanguage Pipeline "pipeline")	domainEnglishFormat.kif 45898-45898

antecedent

(=>
    (and
        (instance ?PIPE Pipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?STUFF))
    (instance ?STUFF
        (ExtensionFn Fluid)))

Transportation.kif 777-783

例 Object and 管道例 Process and Motion 儀器 Process and Object 患者 Process and Entity
例 Entity and 延期流體

consequent

(<=> (totalPipelineInArea ?AREA ?LENGTH) (length (KappaFn ?PIPE (and (instance ?PIPE Pipeline) (located ?PIPE ?AREA))) ?LENGTH))	Transportation.kif 685-692	LengthMeasure 是在地區 GeographicArea 的 total 管線 length 卡帕 SymbolicString and 例 SymbolicString and 管道位於 SymbolicString and GeographicArea and LengthMeasure
(=> (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	例 Collection and Organization attribute Collection and 管道運輸 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity, entity and CognitiveAgentIPE 例 entity and Transportation 擁有 CognitiveAgent and entity 患者 entity and entity 例 entity and Substance 擁有 Collection and entity 儀器 entity and CognitiveAgentIPE 例 CognitiveAgentIPE and 管道, Process and CognitiveAgent
(=> (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	測量 RealNumber and UnitOfMeasure 是在地區 GeographicArea 的 total 管線例 UnitOfMeasure and UnitOfLength 比較多 RealNumber and 0 Physical 例 Physical and 管道位於 Physical and GeographicArea

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: