MiningArtifact - Sigma Knowledge base Browser

appearance as argument number 1

(subclass MiningArtifact Artifact)	Society.kif 1388-1388	MiningArtifact is a subclass of artifact
(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 1389-1390	MiningArtifact is a subclass of artifact

appearance as argument number 2

(subclass Bauxite MiningArtifact)	Society.kif 1391-1391	Bauxite is a subclass of MiningArtifact
(subclass IronOre MiningArtifact)	Society.kif 1392-1392	Iron ore is a subclass of MiningArtifact

consequent

(=>
    (instance ?PLANT MineBusiness)
    (exists (?MINERAL ?MINE ?MANUFACTURE)
        (and
            (instance ?MINE Mine)
            (instance ?MANUFACTURE Manufacture)
            (eventLocated ?MANUFACTURE ?MINE)
            (result ?MANUFACTURE ?MINERAL)
            (instance ?MINERAL MiningArtifact))))

If X is an instance of MineBusiness, then there exist Y, Z, W such that Z is an instance of mine, W is an instance of manufacture, W is located at Z, Y is a result of W, and Y is an instance of MiningArtifact