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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DcMotor
DcMotor(dc motor)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 798-798
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10796-10796
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10798-10798
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10795-10795
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10797-10797
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10792-10792
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9971-9971
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10791-10791
No TPTP formula. May not be expressible in strict first order. engineering.kif 799-799
No TPTP formula. May not be expressible in strict first order. engineering.kif 800-800 Dc motor is a subclass of electrical motor

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 805-805 Permanent magnet dc motor is a subclass of dc motor
No TPTP formula. May not be expressible in strict first order. engineering.kif 810-810 Separately excited dc motor is a subclass of dc motor
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18708-18708
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18707-18707
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18706-18706


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