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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MiningArtifact
MiningArtifact

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


(documentation MiningArtifact EnglishLanguage "MiningArtifact is the class of things that are produced from the earth for human use by mining or another form of extraction. This includes metal ores, petroleum, and other products.") Society.kif 1380-1381
(subclass MiningArtifact Artifact) Society.kif 1379-1379

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


(subclass Bauxite MiningArtifact) Society.kif 1382-1382
(subclass IronOre MiningArtifact) Society.kif 1383-1383

consequent
-------------------------


(=>
    (instance ?PLANT MineBusiness)
    (exists (?MINERAL ?MINE ?MANUFACTURE)
        (and
            (instance ?MINE Mine)
            (instance ?MANUFACTURE Manufacture)
            (eventLocated ?MANUFACTURE ?MINE)
            (result ?MANUFACTURE ?MINERAL)
            (instance ?MINERAL MiningArtifact))))
Society.kif 1522-1530


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners