Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Mineral
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Mineral Substance) | Merge.kif 14625-14625 | Mineral is a subclass of substance |
| (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 14627-14630 | Mineral is a subclass of substance |
| (roomTempState Mineral Solid) | Mid-level-ontology.kif 34071-34071 | room temperature state mineral and solid |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (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 7834-7842 | If X is an instance of mine, then X has the purpose there exist Y, Z such that Y is an instance of removing, Z is a patient of Y, Z is an instance of mineral, and Y originates at X |
| (=> (instance ?Rock Rock) (exists (?Mineral) (and (instance ?Mineral Mineral) (part ?Mineral ?Rock)))) |
Mid-level-ontology.kif 19848-19853 | If X is an instance of rock, then there exists Y such that Y is an instance of mineral and Y is a part of X |
| (=> (instance ?Soil Soil) (exists (?Humus ?Mineral) (and (instance ?Humus Humus) (instance ?Mineral Mineral) (part ?Humus ?Soil) (part ?Mineral ?Soil)))) |
Mid-level-ontology.kif 19859-19866 | If X is an instance of soil, then there exist Y, Z such that Y is an instance of humus, Z is an instance of mineral, Y is a part of X, and Z is a part of X |
| (=> (instance ?CONCRETE Concrete) (exists (?PART) (and (instance ?PART Mineral) (component ?PART ?CONCRETE)))) |
Economy.kif 6320-6325 | If X is an instance of concrete, then there exists Y such that Y is an instance of mineral and Y is a component of X |
| (=> (instance ?SHIP CombinationOreOilCarrierShip) (cargoType ?SHIP Mineral)) |
Transportation.kif 2598-2600 | If X is an instance of combination ore- oil carrier ship, then mineral is a cargo type of X |
|