TreeView Knowledge Base Browser - Multipole

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Multipole

Multipole(multipole)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 309-313
No TPTP formula. May not be expressible in strict first order.	engineering.kif 314-314
No TPTP formula. May not be expressible in strict first order.	engineering.kif 315-315	Multipole is a subclass of model

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 587-587	Fourpole is a subclass of multipole
No TPTP formula. May not be expressible in strict first order.	engineering.kif 478-478	Twopole is a subclass of multipole
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39195-39195
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39194-39194
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39193-39193

antecedent

No TPTP formula. May not be expressible in strict first order.

engineering.kif 436-441

If an abstract is an instance of multipole,
then there exists another abstract such that the other abstract is an instance of multipole section and the other abstract is a part of the abstract

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