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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mine

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 6737-6738
(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 6736-6736 Mine est une sous-classe de artefact stationnaire

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 6740-6748


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