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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LeadOre

Sigma KEE - LeadOre
LeadOre(lead ore)

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


(externalImage LeadOre "http://upload.wikimedia.org/wikipedia/commons/7/ 79/ LeadOreUSGOV.jpg") pictureList.kif 4764-4764
(roomTempState LeadOre Solid) Mid-level-ontology.kif 31618-31618 roomTempState lead ore and solid
(subclass LeadOre Mineral) Economy.kif 5665-5665 Lead ore is a subclass of mineral

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


(industryProductType LeadOreMining LeadOre) Economy.kif 1768-1768 Lead ore is an industry product type of lead ore mining
(termFormat ChineseLanguage LeadOre "铅矿") domainEnglishFormat.kif 33635-33635
(termFormat ChineseTraditionalLanguage LeadOre "鉛礦") domainEnglishFormat.kif 33634-33634
(termFormat EnglishLanguage LeadOre "lead ore") domainEnglishFormat.kif 33633-33633

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


(=>
    (instance ?ORE LeadOre)
    (exists (?METAL)
        (and
            (instance ?METAL Lead)
            (component ?METAL ?ORE))))
Economy.kif 5667-5672


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