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 is a subclass of transitway

appearance as argument number 2

(subclass CrudeOilPipeline Pipeline)	Transportation.kif 797-797	Crude oil pipeline is a subclass of pipeline
(subclass NaturalGasPipeline Pipeline)	Transportation.kif 809-809	Natural gas pipeline is a subclass of pipeline
(subclass PetroleumProductPipeline Pipeline)	Transportation.kif 821-821	Petroleum product pipeline is a subclass of pipeline
(subclass SewageSystem Pipeline)	Transportation.kif 785-785	Sewage system is a subclass of pipeline
(termFormat ChineseLanguage Pipeline "管道")	domainEnglishFormat.kif 45938-45938	Sewage system is a subclass of pipeline
(termFormat ChineseTraditionalLanguage Pipeline "管道")	domainEnglishFormat.kif 45937-45937	Sewage system is a subclass of pipeline
(termFormat EnglishLanguage Pipeline "pipeline")	domainEnglishFormat.kif 45936-45936	Sewage system is a subclass of pipeline

antecedent

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

Transportation.kif 777-783

If an object is an instance of pipeline and a process is an instance of motion and the object is an instrument for the process and an entity is a patient of the process,
then the entity 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	A length measure is a total pipeline in area of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(=> (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 a collection is an instance of organization and pipeline transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity, another entity,, , a third entity and the cognitive agentIPE such that the entity is an instance of transportation and the cognitive agent possesses the third entity and the third entity is a patient of the entity and the third entity is an instance of substance and the collection possesses the other entity and the cognitive agentIPE is an instrument for the entity and the cognitive agentIPE is an instance of pipeline
(=> (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 a real number an unit of measure(s) is a total pipeline in area of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of pipeline and the physical is located at the geographic area

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: