Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Magnet
Magnet(magnet)bar_magnet, core, field_magnet, magnet, magnetic_needle, magnetic_pole, paramagnet, permanent_magnet, pole, static_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 3841-3844
(subclass Magnet Object) Cars.kif 3839-3839 Magnet is a subclass of object

appearance as argument number 2
-------------------------


(subclass Electromagnet Magnet) Cars.kif 3859-3859 Electromagnet is a subclass of magnet
(subclass NaturalMagnet Magnet) Cars.kif 3853-3853 Magnet is a subclass of magnet
(termFormat EnglishLanguage Magnet "magnet") Cars.kif 3840-3840

antecedent
-------------------------


(=>
    (instance ?M Magnet)
    (exists (?MAG)
        (and
            (instance ?MAG Magnetism)
            (instrument ?MAG ?M))))
Cars.kif 3846-3851


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners