Pipeline - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Pipeline

Pipeline(pipeline)

Alaskan_pipeline, gas_line, line, oil_pipeline, pipage, pipe, pipeline, piping, trans-Alaska_pipeline

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 774-775
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 874-874
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 773-773	Pipeline is a subclass of transitway

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 797-797	Crude oil pipeline is a subclass of pipeline
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 809-809	Natural gas pipeline is a subclass of pipeline
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 821-821	Petroleum product pipeline is a subclass of pipeline
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 785-785	Sewage system is a subclass of pipeline
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45902-45902	Sewage system is a subclass of pipeline
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45901-45901	Sewage system is a subclass of pipeline
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45900-45900	Sewage system is a subclass of pipeline

antecedent

No TPTP formula. May not be expressible in strict first order.

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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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