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 763-764
No TPTP formula. May not be expressible in strict first order. pictureList.kif 875-875
No TPTP formula. May not be expressible in strict first order. Transportation.kif 762-762 Pipeline is a subclass of transitway

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 786-786 Crude oil pipeline is a subclass of pipeline
No TPTP formula. May not be expressible in strict first order. Transportation.kif 798-798 Natural gas pipeline is a subclass of pipeline
No TPTP formula. May not be expressible in strict first order. Transportation.kif 810-810 Petroleum product pipeline is a subclass of pipeline
No TPTP formula. May not be expressible in strict first order. Transportation.kif 774-774 Sewage system is a subclass of pipeline
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45820-45820
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45819-45819
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45818-45818

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 766-772

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 674-681 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 8388-8411
No TPTP formula. May not be expressible in strict first order. Transportation.kif 683-691


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