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(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 is a subclass of machine

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 743-743	Transformer can be used as a model for motor
No TPTP formula. May not be expressible in strict first order.	engineering.kif 795-795	Electrical motor is a subclass of motor
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3945-3945	Starter motor is a subclass of 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	A shaft is typically a part of a 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