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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CopperOre

Sigma KEE - CopperOre
CopperOre(銅礦)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 4632-4632
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31620-31620 roomTempState 銅礦 and 固體
No TPTP formula. May not be expressible in strict first order. Economy.kif 5645-5645 子類 銅礦 and Mineral

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1729-1729 銅礦銅礦開採industry 產品類別
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17256-17256
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17255-17255
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17254-17254

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 5647-5652


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