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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Electromagnet

 Sigma KEE - Electromagnet
Electromagnet

appearance as argument number 1
-------------------------


(documentation Electromagnet EnglishLanguage "A Magnet that is created by sending Electricity through coils of Wire that are wound around a ferromagnetic core.") Cars.kif 3897-3899
(subclass Electromagnet ElectricDevice) Cars.kif 3895-3895 Electromagnet ist eine teilkategorie von ElectricDevice
(subclass Electromagnet Magnet) Cars.kif 3894-3894 Electromagnet ist eine teilkategorie von Magnet

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


(termFormat EnglishLanguage Electromagnet "electromagnet") Cars.kif 3896-3896

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


(=>
    (and
        (instance ?EM Electromagnet)
        (instance ?T Transfer)
        (instance ?E Electricity)
        (objectTransferred ?T ?E)
        (path ?T ?EM))
    (exists (?M)
        (and
            (instance ?M Magnetism)
            (instrument ?M ?EM))))		 Cars.kif 3901-3911
(=>
    (and
        (instance ?EM Electromagnet)
        (not
            (holdsDuring ?T1
                (exists (?T ?E)
                    (and
                        (instance ?T Transfer)
                        (instance ?E Electricity)
                        (objectTransferred ?T ?E)
                        (path ?T ?EM))))))
    (not
        (holdsDuring ?T1
            (exists (?M)
                (and
                    (instance ?M Magnetism)
                    (instrument ?M ?EM))))))		 Cars.kif 3913-3929


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 3.0 is open source software produced by Articulate Software and its partners