| NaturalMagnet | |
| appearance as argument number 1 |
|
|
| (documentation NaturalMagnet EnglishLanguage "Any Substance from nature that exhibits Magnetism.") | Cars.kif 3899-3900 | |
| (subclass NaturalMagnet Magnet) | Cars.kif 3896-3896 | |
| (subclass NaturalMagnet NaturalSubstance) | Cars.kif 3897-3897 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage NaturalMagnet "magnet") | Cars.kif 3898-3898 |
|
|
|