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

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 777-783

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


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