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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElectricalMotor
ElectricalMotor(electrical motor)

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


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

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


(subclass DcMotor ElectricalMotor) engineering.kif 798-798 Dc motor is a subclass of electrical motor
(subclass InductionMotor ElectricalMotor) engineering.kif 813-813 Induction motor is a subclass of electrical motor
(termFormat ChineseLanguage ElectricalMotor "电动机") domainEnglishFormat.kif 21445-21445
(termFormat ChineseTraditionalLanguage ElectricalMotor "電動機") domainEnglishFormat.kif 21444-21444
(termFormat EnglishLanguage ElectricalMotor "electrical motor") domainEnglishFormat.kif 21443-21443

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


(=>
    (and
        (attribute ?OBJECT ?ATTRIBUTE)
        (instance ?ATTRIBUTE Brushless))
    (instance ?OBJECT ElectricalMotor))
engineering.kif 713-717
(=>
    (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 ?R ?S)
            (instance ?R2 Rotating)
            (patient ?R2 ?C)
            (part ?C ?E)
            (causes ?R1 ?R2))))
Cars.kif 2202-2217


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