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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GoldOreAndSilverOreMining

 Sigma KEE - GoldOreAndSilverOreMining
GoldOreAndSilverOreMining

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


No TPTP formula. May not be expressible in strict first order. naics.kif 716-718
No TPTP formula. May not be expressible in strict first order. naics.kif 714-714 GoldOreAndSilverOreMining est un sous-attribut de MetalOreMining

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


No TPTP formula. May not be expressible in strict first order. naics.kif 720-720 GoldOreMining est un sous-attribut de GoldOreAndSilverOreMining
No TPTP formula. May not be expressible in strict first order. naics.kif 726-726 SilverOreMining est un sous-attribut de GoldOreAndSilverOreMining
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26208-26208
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26207-26207
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26206-26206


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