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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Magnet

Sigma KEE - Magnet
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 3834-3837
(subclass Magnet Object) Cars.kif 3832-3832

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


(subclass Electromagnet Magnet) Cars.kif 3852-3852
(subclass NaturalMagnet Magnet) Cars.kif 3846-3846
(termFormat EnglishLanguage Magnet "magnet") Cars.kif 3833-3833

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


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


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

Show without tree


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