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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DcMotor

Sigma KEE - DcMotor
DcMotor
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 DcMotor est une sous-classe de ElectricalMotor

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 805-805 PermanentMagnetDcMotor est une sous-classe de DcMotor
No TPTP formula. May not be expressible in strict first order. engineering.kif 810-810 SeparatelyExcitedDcMotor est une sous-classe de DcMotor
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 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