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 14387-14390
(roomTempState Mineral Solid)	Mid-level-ontology.kif 32747-32747	roomTempState mineral and solid
(subclass Mineral Substance)	Merge.kif 14385-14385	Mineral is a subclass of substance

appearance as argument number 2

(subclass Asbestos Mineral)	Geography.kif 2584-2584	Asbestos is a subclass of mineral
(subclass Barite Mineral)	Geography.kif 1985-1985	Barite is a subclass of mineral
(subclass Chromite Mineral)	Geography.kif 2002-2002	Chromite is a subclass of mineral
(subclass Coal Mineral)	Geography.kif 2005-2005	Coal is a subclass of mineral
(subclass CopperOre Mineral)	Economy.kif 5855-5855	Copper ore is a subclass of mineral
(subclass Diamond Mineral)	Mid-level-ontology.kif 9538-9538	Diamond is a subclass of mineral
(subclass IronOre Mineral)	Economy.kif 5834-5834	Iron ore is a subclass of mineral
(subclass LeadOre Mineral)	Economy.kif 5875-5875	Lead ore is a subclass of mineral
(subclass NickelOre Mineral)	Economy.kif 5865-5865	Nickel ore is a subclass of mineral
(subclass Talc Mineral)	Geography.kif 2044-2044	Talc is a subclass of mineral
(subclass ZincOre Mineral)	Economy.kif 5885-5885	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 de Mineral "Mineral")	terms-de.txt 466-466	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 6113-6118	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 7295-7303	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 19003-19008	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 2585-2587	If a transportation device is an instance of combination ore- oil carrier ship, 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 19014-19021	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: