Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
LeadOre(lead ore)
|
| appearance as argument number 1 |
|
| (subclass LeadOre Mineral) | Economy.kif 6022-6022 | Lead ore is a subclass of mineral |
| (roomTempState LeadOre Solid) | Economy.kif 6023-6023 | room temperature state lead ore and solid |
| (externalImage LeadOre "http://upload.wikimedia.org/wikipedia/commons/7/ 79/ LeadOreUSGOV.jpg") | pictureList.kif 4763-4763 | room temperature state lead ore and solid |
| appearance as argument number 2 |
|
|
| (industryProductType LeadOreMining LeadOre) | Economy.kif 1888-1888 | Lead ore is an industry product type of lead ore mining |
| (termFormat EnglishLanguage LeadOre "lead ore") | domainEnglishFormat.kif 33637-33637 | Lead ore is an industry product type of lead ore mining |
| (termFormat ChineseTraditionalLanguage LeadOre "鉛礦") | domainEnglishFormat.kif 33638-33638 | Lead ore is an industry product type of lead ore mining |
| (termFormat ChineseLanguage LeadOre "铅矿") | domainEnglishFormat.kif 33639-33639 | Lead ore is an industry product type of lead ore mining |
| antecedent |
|
|
| (=> (instance ?ORE LeadOre) (exists (?METAL) (and (instance ?METAL Lead) (component ?METAL ?ORE)))) |
Economy.kif 6026-6031 | If X is an instance of lead ore, then there exists Y such that Y is an instance of lead and Y is a component of X |
| statement |
|
|
| (equal 1.5 (MohsScaleFn LeadOre)) |
Economy.kif 6024-6024 | equal 1.5 and The Mohs Scale of lead ore is |
|