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	Pipeline ist eine teilkategorie von Transitway

appearance as argument number 2

(subclass CrudeOilPipeline Pipeline)	Transportation.kif 797-797	CrudeOilPipeline ist eine teilkategorie von Pipeline
(subclass NaturalGasPipeline Pipeline)	Transportation.kif 809-809	NaturalGasPipeline ist eine teilkategorie von Pipeline
(subclass PetroleumProductPipeline Pipeline)	Transportation.kif 821-821	PetroleumProductPipeline ist eine teilkategorie von Pipeline
(subclass SewageSystem Pipeline)	Transportation.kif 785-785	SewageSystem ist eine teilkategorie von Pipeline
(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

Wenn Object ist ein fall von Pipeline %n{nicht} und Process ist ein fall von Motion %n{nicht} und ** Object ist ein instrument fuer ** Process %n{nicht} und Entity ist ein patient von ** Process %n{nicht},
dann ** Entity ist ein fall von die kategorie, die Fluid entspricht %n{nicht}

consequent

(<=> (totalPipelineInArea ?AREA ?LENGTH) (length (KappaFn ?PIPE (and (instance ?PIPE Pipeline) (located ?PIPE ?AREA))) ?LENGTH))	Transportation.kif 685-692	totalPipelineInArea GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(=> (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	Wenn Collection ist ein fall von Organization %n{nicht} und PipelineTransportation ist ein attribut von Collection %n{nicht}, dann es gibt AutonomousAgent und Process um Process ist ein Mitglied von Collection %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und es gibt CognitiveAgent um AutonomousAgent ist ein fall von Selling %n{nicht} und CognitiveAgent ist ein fall von Human %n{nicht} und CognitiveAgent ist ein patient von AutonomousAgent %n{nicht} und Process erlaubt CognitiveAgent, die Aufgabe der Art von es gibt entity, entity,, , entity, and und CognitiveAgentIPE um entity ist ein fall von Transportation %n{nicht} und CognitiveAgent besitzt entity %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein fall von Substance %n{nicht} und Collection besitzt entity %n{nicht} und CognitiveAgentIPE ist ein instrument fuer entity %n{nicht} und ** CognitiveAgentIPE ist ein fall von Pipeline %n{nicht} durchzuf�hren %n{nicht}
(=> (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	Wenn totalPipelineInArea GeographicArea and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von UnitOfLength %n{nicht} und RealNumber ist groesserAls 0 %n{nicht}, dann es gibt Physical um Physical ist ein fall von Pipeline %n{nicht} und Physical befindet sich an %n{nicht}

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: