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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AluminaRefining

 Sigma KEE - AluminaRefining
AluminaRefining(氧化铝精炼)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4024-4026
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8332-8332
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8851-8851
No TPTP formula. May not be expressible in strict first order. Economy.kif 1701-1701 矾土 是 氧化铝精炼 的 industry 产品类别
No TPTP formula. May not be expressible in strict first order. naics.kif 4022-4022 氧化铝精炼 是 氧化铝和铝的生产和加工 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7026-7026
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7025-7025
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7024-7024


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