Mineral - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Mineral ChineseLanguage "这是各种天然存在、性质一致的物质(如石頭、煤、盐、硫磺，沙、石油)，或具着和天然矿物一样的化学成分、结晶形态和性质的合成物质。")	chinese_format.kif 3364-3365
(documentation Mineral EnglishLanguage "Any of various naturally occurring homogeneous substances (such as stone, coal, salt, sulfur, sand, petroleum), or synthetic substances having the chemical composition and crystalline form and properties of a naturally occurring mineral.")	Merge.kif 14359-14362
(roomTempState Mineral Solid)	Mid-level-ontology.kif 31889-31889	roomTempState mineral and solid
(subclass Mineral Substance)	Merge.kif 14357-14357	Mineral is a subclass of substance

appearance as argument number 2

(subclass Asbestos Mineral)	Geography.kif 2596-2596	Asbestos is a subclass of mineral
(subclass Barite Mineral)	Geography.kif 1997-1997	Barite is a subclass of mineral
(subclass Chromite Mineral)	Geography.kif 2014-2014	Chromite is a subclass of mineral
(subclass Coal Mineral)	Geography.kif 2017-2017	Coal is a subclass of mineral
(subclass CopperOre Mineral)	Economy.kif 5645-5645	Copper ore is a subclass of mineral
(subclass Diamond Mineral)	Mid-level-ontology.kif 8983-8983	Diamond is a subclass of mineral
(subclass IronOre Mineral)	Economy.kif 5624-5624	Iron ore is a subclass of mineral
(subclass LeadOre Mineral)	Economy.kif 5665-5665	Lead ore is a subclass of mineral
(subclass NickelOre Mineral)	Economy.kif 5655-5655	Nickel ore is a subclass of mineral
(subclass Talc Mineral)	Geography.kif 2056-2056	Talc is a subclass of mineral
(subclass ZincOre Mineral)	Economy.kif 5675-5675	Zinc ore is a subclass of mineral
(termFormat ChineseLanguage Mineral "矿物")	chinese_format.kif 962-962	Zinc ore is a subclass of mineral
(termFormat EnglishLanguage Mineral "mineral")	english_format.kif 1131-1131	Zinc ore is a subclass of mineral
(termFormat FrenchLanguage Mineral "mineral")	french_format.kif 639-639	Zinc ore is a subclass of mineral
(termFormat Hindi Mineral "khanija")	terms-hindi.txt 170-170	Zinc ore is a subclass of mineral
(termFormat ItalianLanguage Mineral "Minerale")	terms-it.txt 173-173	Zinc ore is a subclass of mineral
(termFormat JapaneseLanguage Mineral "ミネラル")	japanese_format.kif 2323-2323	Zinc ore is a subclass of mineral
(termFormat PortugueseLanguage Mineral "Mineral")	portuguese_format.kif 591-591	Zinc ore is a subclass of mineral
(termFormat cz Mineral "mineral")	terms-cz.txt 207-207	Zinc ore is a subclass of mineral
(termFormat ro Mineral "mineral")	relations-ro.kif 660-660	Zinc ore is a subclass of mineral
(termFormat tg Mineral "mineral")	terms-tg.txt 174-174	Zinc ore is a subclass of mineral

consequent

(=> (instance ?CONCRETE Concrete) (exists (?PART) (and (instance ?PART Mineral) (component ?PART ?CONCRETE))))	Economy.kif 5903-5908	If a corpuscular object is an instance of concrete, then there exists another corpuscular object such that the other corpuscular object is an instance of mineral and the other corpuscular object is a component of the corpuscular object
(=> (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	If a physical is an instance of mine, then the physical has the purpose there exist an entity and the physicalRAL such that the entity is an instance of removing and the physicalRAL is a patient of the entity and the physicalRAL is an instance of mineral and the entity originates at the physical
(=> (instance ?Rock Rock) (exists (?Mineral) (and (instance ?Mineral Mineral) (part ?Mineral ?Rock))))	Mid-level-ontology.kif 18172-18177	If an object is an instance of rock, then there exists another object such that the other object is an instance of mineral and the other object is a part of the object
(=> (instance ?SHIP CombinationOreOilCarrierShip) (cargoType ?SHIP Mineral))	Transportation.kif 2579-2581	If a transportation device is an instance of CombinationOreOilCarrierShip, then mineral is a cargo type of the transportation device
(=> (instance ?Soil Soil) (exists (?Humus ?Mineral) (and (instance ?Humus Humus) (instance ?Mineral Mineral) (part ?Humus ?Soil) (part ?Mineral ?Soil))))	Mid-level-ontology.kif 18183-18190	If an object is an instance of soil, then there exist another object and a third object such that the other object is an instance of humus and the third object is an instance of mineral and the other object is a part of the object and the third object is a part of the object

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

KB Term:			Term intersection

English Word: