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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NaturalGasDistribution

 Sigma KEE - NaturalGasDistribution
NaturalGasDistribution(natural gas distribution)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1044-1046
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8608-8608
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9457-9457
No TPTP formula. May not be expressible in strict first order. Economy.kif 1824-1824 Natural gas distribution is a subattribute of natural gas industry
No TPTP formula. May not be expressible in strict first order. naics.kif 1042-1042 Natural gas distribution is a subattribute of utilities

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39867-39867
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39866-39866
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39865-39865


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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