Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| IronOxide(iron oxide) |
| appearance as argument number 1 |
|
| (subclass IronOxide CompoundSubstance) | Transportation.kif 4842-4842 | Iron oxide is a subclass of compound substance |
| (documentation IronOxide EnglishLanguage "IronOxides are chemical compounds composed of iron and oxygen. The best known of which is Rust.[Wikipedia]") | Transportation.kif 4843-4844 | Iron oxide is a subclass of compound substance |
| (roomTempState IronOxide Solid) | Transportation.kif 4846-4846 | room temperature state iron oxide and solid |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage IronOxide "iron oxide") | Transportation.kif 4845-4845 | |
| (subclass Rust IronOxide) | Transportation.kif 4857-4857 | Rust is a subclass of iron oxide |
| antecedent |
|
|
| (=> (instance ?IO IronOxide) (exists (?I ?O) (and (instance ?I Iron) (instance ?O Oxygen) (part ?I ?IO) (part ?O ?IO)))) |
Transportation.kif 4848-4855 | If X is an instance of iron oxide, then there exist Y, Z such that Y is an instance of iron, Z is an instance of oxygen, Y is a part of X, and Z is a part of X |
|