Motor - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Motor

Motor

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 739-739
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10135-10135
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11466-11466
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11467-11467
No TPTP formula. May not be expressible in strict first order.	engineering.kif 741-741
No TPTP formula. May not be expressible in strict first order.	engineering.kif 740-740
No TPTP formula. May not be expressible in strict first order.	engineering.kif 742-742	Motor e' uma sub-classe de Maquina

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 743-743	models Transformer and Motor
No TPTP formula. May not be expressible in strict first order.	engineering.kif 795-795	ElectricalMotor e' uma sub-classe de Motor
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3953-3953	StarterMotor e' uma sub-classe de Motor
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38781-38781
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38780-38780
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38779-38779
No TPTP formula. May not be expressible in strict first order.	engineering.kif 772-772	typicalPart Shaft and Motor

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