TreeView Knowledge Base Browser - InductorElement

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

InductorElement

Sigma KEE - InductorElement

InductorElement(inductor element)

inductance, inductor

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 550-550
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1146-1146
No TPTP formula. May not be expressible in strict first order.	engineering.kif 551-551
No TPTP formula. May not be expressible in strict first order.	engineering.kif 552-552	Inductor element is a subclass of electric device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29755-29755
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29754-29754
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29753-29753

consequent

No TPTP formula. May not be expressible in strict first order.	engineering.kif 561-566	If an entity is an instance of electrical twopole, then there exists another entity such that the other entity is an instance of inductor element and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	engineering.kif 554-559	If an entity is an instance of through variable accumulator, then there exists another entity such that the other entity is an instance of inductor element and the entity expresses the other entity

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