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 金矿和银矿开采 是 金属矿开采 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 720-720 金矿开采 是 金矿和银矿开采 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 726-726 银矿开采 是 金矿和银矿开采 的 subAttribute
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