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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectricalMotor

Sigma KEE - ElectricalMotor
ElectricalMotor(electrical motor)

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


(documentation ElectricalMotor EnglishLanguage "An electrical motor.") engineering.kif 792-792
(externalImage ElectricalMotor "http://upload.wikimedia.org/wikipedia/commons/ 8/ 89/ Motors01CJC.jpg") pictureList.kif 4672-4672
(lexicon ElectricalMotor LexNoun "electrical motor") engineering.kif 794-794
(lexicon ElectricalMotor LexNoun "motor") engineering.kif 793-793
(subclass ElectricalMotor ElectricDevice) engineering.kif 796-796 Electrical motor is a subclass of electric device
(subclass ElectricalMotor Motor) engineering.kif 795-795 Electrical motor is a subclass of motor

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


(subclass DcMotor ElectricalMotor) engineering.kif 800-800 Dc motor is a subclass of electrical motor
(subclass InductionMotor ElectricalMotor) engineering.kif 815-815 Induction motor is a subclass of electrical motor
(termFormat ChineseLanguage ElectricalMotor "电动机") domainEnglishFormat.kif 21522-21522
(termFormat ChineseTraditionalLanguage ElectricalMotor "電動機") domainEnglishFormat.kif 21521-21521
(termFormat EnglishLanguage ElectricalMotor "electrical motor") domainEnglishFormat.kif 21520-21520

consequent
-------------------------


(=>
    (and
        (attribute ?OBJECT ?ATTRIBUTE)
        (instance ?ATTRIBUTE Brushless))
    (instance ?OBJECT ElectricalMotor))
engineering.kif 716-720
(=>
    (instance ?EC EngineCranking)
    (exists (?EM ?E ?S ?R1 ?C ?R2)
        (and
            (instance ?EM ElectricalMotor)
            (instance ?E InternalCombustionEngine)
            (instance ?S Shaft)
            (instance ?C Crankshaft)
            (part ?S ?EM)
            (subProcess ?R1 ?EC)
            (instance ?R1 Rotating)
            (patient ?R1 ?S)
            (instance ?R2 Rotating)
            (patient ?R2 ?C)
            (part ?C ?E)
            (causes ?R1 ?R2))))
Cars.kif 2215-2230


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