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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NaturalGasDistribution

 Sigma KEE - NaturalGasDistribution
NaturalGasDistribution

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 NaturalGasDistribution e' um sub-atributo de NaturalGasIndustry
No TPTP formula. May not be expressible in strict first order. naics.kif 1042-1042 NaturalGasDistribution e' um sub-atributo de 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