Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PipelineTransportationOfCrudeOil
PipelineTransportationOfCrudeOil(pipeline transportation of crude oil)
more pictures...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 8492-8494
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11613-11613
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11617-11617
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11612-11612
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11610-11610
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11614-11614
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10189-10189
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11615-11615
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11616-11616
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11618-11618
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11611-11611
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11608-11608
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11609-11609
No TPTP formula. May not be expressible in strict first order. naics.kif 8490-8490 Pipeline transportation of crude oil is a subattribute of pipeline transportation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45912-45912
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45911-45911
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45910-45910


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