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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TobaccoProductManufacturing

 Sigma KEE - TobaccoProductManufacturing
TobaccoProductManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1922-1924
No TPTP formula. May not be expressible in strict first order. naics.kif 1920-1920 TobaccoProductManufacturing est un sous-attribut de TobaccoManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1926-1926 CigaretteManufacturing est un sous-attribut de TobaccoProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 1932-1932 OtherTobaccoProductManufacturing est un sous-attribut de TobaccoProductManufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58262-58262
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58261-58261
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58260-58260


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