Magnet - Sigma Knowledge base Browser

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 3840-3843
(subclass Magnet Object)	Cars.kif 3838-3838

appearance as argument number 2

(subclass Electromagnet Magnet)	Cars.kif 3858-3858
(subclass NaturalMagnet Magnet)	Cars.kif 3852-3852
(termFormat EnglishLanguage Magnet "magnet")	Cars.kif 3839-3839

antecedent

(=>
    (instance ?M Magnet)
    (exists (?MAG)
        (and
            (instance ?MAG Magnetism)
            (instrument ?MAG ?M))))

Cars.kif 3845-3850