Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Rust
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Rust IronOxide) | Transportation.kif 4857-4857 | Rust is a subclass of iron oxide |
| (documentation Rust EnglishLanguage "Rust is an iron oxide,a usually reddish-brown oxide formed by the reaction of iron and oxygen in the catalytic presence of water or air moisture.[Wikipedia]") | Transportation.kif 4858-4860 | Rust is a subclass of iron oxide |
| (roomTempState Rust Solid) | Transportation.kif 4862-4862 | room temperature state rust and solid |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Rust "rust") | Transportation.kif 4861-4861 |
| consequent |
|
|
| (=> (instance ?R Rusting) (exists (?I ?O) (and (patient ?R ?I) (or (instance ?I Iron) (instance ?I Steel)) (result ?R ?O) (instance ?O Rust)))) |
Transportation.kif 4831-4840 | If X is an instance of rusting, then there exist Y, Z such that Y is a patient of X, Y is an instance of iron or Y is an instance of steel, Z is a result of X, and Z is an instance of rust |
|