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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mine
Mine

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


(documentation Mine EnglishLanguage "An construction in the earth from which Minerals are removed, either in pure form or as part of ores.") Mid-level-ontology.kif 6743-6744
(externalImage Mine "http://upload.wikimedia.org/wikipedia/commons/f/f1/ Iron_ore_mine-01_%28xndr%29.jpg") pictureList.kif 4779-4779
(subclass Mine StationaryArtifact) Mid-level-ontology.kif 6742-6742

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


(termFormat ChineseLanguage Mine "矿") domainEnglishFormat.kif 37823-37823
(termFormat ChineseTraditionalLanguage Mine "礦") domainEnglishFormat.kif 37822-37822
(termFormat EnglishLanguage Mine "mine") domainEnglishFormat.kif 37821-37821

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


(=>
    (instance ?MINE Mine)
    (hasPurpose ?MINE
        (exists (?REMOVE ?MINERAL)
            (and
                (instance ?REMOVE Removing)
                (patient ?REMOVE ?MINERAL)
                (instance ?MINERAL Mineral)
                (origin ?REMOVE ?MINE)))))
Mid-level-ontology.kif 6746-6754


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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