Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MohsScaleFn |
| appearance as argument number 1 |
|
| (instance MohsScaleFn UnaryFunction) | Mid-level-ontology.kif 10597-10597 | Mohs Scale is an instance of unary function |
| (documentation MohsScaleFn EnglishLanguage "(MohsScaleFn ?SUBSTANCE) returns a RealNumber between 0 to 10. The Mohs Scale of mineral hardness is a qualitative ordinal scale from 1 to 10, characterizing scratch resistance of minerals through the ability of harder material to scratch softer material. The scale was introduced in 1812 by the German geologist and mineralogist Friedrich Mohs. Diamond was the hardest known naturally occurring mineral when the scale was designed, and defines the top of the scale, arbitrarily set at 10. Each of the ten hardness values in the Mohs scale is represented by a reference mineral, most of which are widespread in rocks. Some substance have a hardness between two of the Mohs scale reference minerals.The hardness of a material is measured against the scale by finding the hardest material that the given material can scratch, or the softest material that can scratch the given material. For example, if some material is scratched by apatite but not by fluorite, its hardness on the Mohs scale would be between 4 and 5. [Wikipedia]") | Mid-level-ontology.kif 10598-10608 | Mohs Scale is an instance of unary function |
| (domainSubclass MohsScaleFn 1 Substance) | Mid-level-ontology.kif 10611-10611 | The number 1 argument of Mohs Scale is a subclass of substance |
| (range MohsScaleFn RealNumber) | Mid-level-ontology.kif 10612-10612 | The range of Mohs Scale is an instance of real number |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MohsScaleFn "Mohs Scale") | Mid-level-ontology.kif 10609-10609 | |
| (format EnglishLanguage MohsScaleFn "The Mohs Scale of %1 is") | Mid-level-ontology.kif 10610-10610 |
| statement |
|
|
| (equal 10 (MohsScaleFn Diamond)) |
Mid-level-ontology.kif 10614-10614 | equal 10 and The Mohs Scale of diamond is |
| (equal 5.5 (MohsScaleFn Glass)) |
Mid-level-ontology.kif 10615-10615 | equal 5.5 and The Mohs Scale of glass is |
| (equal 3 (MohsScaleFn Brass)) |
Mid-level-ontology.kif 10616-10616 | equal 3 and The Mohs Scale of brass is |
| (equal 4 (MohsScaleFn IronOre)) |
Economy.kif 5976-5976 | equal 4 and The Mohs Scale of iron ore is |
| (equal 1.5 (MohsScaleFn LeadOre)) |
Economy.kif 6024-6024 | equal 1.5 and The Mohs Scale of lead ore is |
| (equal 2.5 (MohsScaleFn ZincOre)) |
Economy.kif 6036-6036 | equal 2.5 and The Mohs Scale of zinc ore is |
| (equal 1 (MohsScaleFn Talc)) |
Geography.kif 3514-3514 | equal 1 and The Mohs Scale of talc is |
|