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

Formal Language: 



KB Term:  Term intersection
English Word: 

  KunzaLanguage

 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 铜矿和镍矿开采 是 铜镍铅锌开采 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1732-1732 铜矿开采 是 铜矿和镍矿开采 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 1803-1803 镍矿开采 是 铜矿和镍矿开采 的 subAttribute
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