|
|
   Magnet
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Magnet EnglishLanguage "Any object that emits Magnetism. Note that this includes both NaturalMagnets and Electromagnets and therefore the most specific superclass is Object, since natural magnets are divisible Substances and electromagnets are CorpuscularObjects.") | Cars.kif 3876-3879 | |
| (subclass Magnet Object) | Cars.kif 3874-3874 | Magnet è una sottoclasse di Oggetto |
| appearance as argument number 2 |
|
|
| (subclass Electromagnet Magnet) | Cars.kif 3894-3894 | Electromagnet è una sottoclasse di Magnet |
| (subclass NaturalMagnet Magnet) | Cars.kif 3888-3888 | NaturalMagnet è una sottoclasse di Magnet |
| (termFormat EnglishLanguage Magnet "magnet") | Cars.kif 3875-3875 |
| antecedent |
|
|
| (=> (instance ?M Magnet) (exists (?MAG) (and (instance ?MAG Magnetism) (instrument ?MAG ?M)))) |
Cars.kif 3881-3886 |
|
|
|