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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OtherBasicInorganicChemicalManufacturing

Sigma KEE - OtherBasicInorganicChemicalManufacturing
OtherBasicInorganicChemicalManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3185-3187
No TPTP formula. May not be expressible in strict first order. naics.kif 3183-3183 OtherBasicInorganicChemicalManufacturing est un sous-attribut de BasicChemicalManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3189-3189 AlkaliesAndChlorineManufacturing est un sous-attribut de OtherBasicInorganicChemicalManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3203-3203 AllOtherBasicInorganicChemicalManufacturing est un sous-attribut de OtherBasicInorganicChemicalManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3196-3196 CarbonBlackManufacturing est un sous-attribut de OtherBasicInorganicChemicalManufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42768-42768
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42767-42767
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42766-42766


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