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

KB Term:  Term intersection
English Word: 

Sigma KEE - ElectricMotor
ElectricMotor(electric motor)
electric_motor, self-starter, starter, starter_motor, starting_motor, synchronous_motor, wiper_motor

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


(subclass ElectricMotor Engine) Mid-level-ontology.kif 2354-2354 Electric motor is a subclass of engine
(subclass ElectricMotor ElectricDevice) Mid-level-ontology.kif 2355-2355 Electric motor is a subclass of electric device
(documentation ElectricMotor EnglishLanguage "ElectricMotor is the subclass of Engines that produce mechanical power from electricity.") Mid-level-ontology.kif 2356-2357 Electric motor is a subclass of electric device
(externalImage ElectricMotor "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 8/ 89/ Motors01CJC.jpg/ 70px_Motors01CJC.jpg") pictureList.kif 1097-1097 Electric motor is a subclass of electric device

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


(termFormat EnglishLanguage ElectricMotor "electric motor") domainEnglishFormat.kif 21636-21636
(termFormat ChineseTraditionalLanguage ElectricMotor "電動馬達") domainEnglishFormat.kif 21637-21637
(termFormat ChineseLanguage ElectricMotor "电动马达") domainEnglishFormat.kif 21638-21638

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


(=>
    (instance ?DEVICE ElectricExerciseTreadmill)
    (exists (?COMPONENT)
        (and
            (instance ?COMPONENT ElectricMotor)
            (part ?COMPONENT ?DEVICE))))		 HouseholdAppliances.kif 191-196 If X is an instance of electric treadmill, then there exists Y such that Y is an instance of electric motor and Y is a part of X
(=>
    (instance ?DEVICE FlywheelExerciseTreadmill)
    (not
        (exists (?COMPONENT)
            (and
                (instance ?COMPONENT ElectricMotor)
                (part ?COMPONENT ?DEVICE)))))		 HouseholdAppliances.kif 204-210 If X is an instance of flywheel treadmill, then there doesn't exist Y such that Y is an instance of electric motor and Y is a part of X
(=>
    (instance ?DEVICE ElectricGrassMower)
    (hasPurpose ?DEVICE
        (exists (?COMPONENT)
            (and
                (instance ?COMPONENT ElectricMotor)
                (part ?COMPONENT ?DEVICE)))))		 HouseholdAppliances.kif 475-481 If X is an instance of electric mower, then X has the purpose there exists Y such that Y is an instance of electric motor and Y is a part of X
(=>
    (instance ?DEVICE ElectricLeafBlower)
    (exists (?COMPONENT)
        (and
            (instance ?COMPONENT ElectricMotor)
            (part ?COMPONENT ?DEVICE))))		 HouseholdAppliances.kif 504-509 If X is an instance of electric leaf blower, then there exists Y such that Y is an instance of electric motor and Y is a part of X
(=>
    (instance ?DEVICE ElectricFan)
    (exists (?PART)
        (and
            (instance ?PART ElectricMotor)
            (part ?DEVICE ?PART))))		 HouseholdAppliances.kif 1088-1093 If X is an instance of electric fan, then there exists Y such that Y is an instance of electric motor and X is a part of Y


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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners