Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Rusting(rusting) |
| appearance as argument number 1 |
|
| (subclass Rusting Corrosion) | Transportation.kif 4825-4825 | Rusting is a subclass of corrosion |
| (documentation Rusting EnglishLanguage "Rusting is the common term for corrosion of elemental iron and its alloys such as steel. The resulting oxide is called rust. [Wikipedia]") | Transportation.kif 4826-4828 | Rusting is a subclass of corrosion |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Rusting "rusting") | Transportation.kif 4829-4829 |
| antecedent |
|
|
| (=> (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 |
|