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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CopperOreAndNickelOreMining

 Sigma KEE - CopperOreAndNickelOreMining
CopperOreAndNickelOreMining(銅礦和鎳礦開採)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 747-749
No TPTP formula. May not be expressible in strict first order. naics.kif 745-745 子屬性 銅礦和鎳礦開採 and 銅鎳鉛鋅開採

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1732-1732 子屬性 銅礦開採 and 銅礦和鎳礦開採
No TPTP formula. May not be expressible in strict first order. Economy.kif 1803-1803 子屬性 鎳礦開採 and 銅礦和鎳礦開採
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17262-17262
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17261-17261
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17260-17260


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