MultipolePole - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MultipolePole

MultipolePole(multipole pole)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 383-385
No TPTP formula. May not be expressible in strict first order.	engineering.kif 386-386
No TPTP formula. May not be expressible in strict first order.	engineering.kif 387-387
No TPTP formula. May not be expressible in strict first order.	engineering.kif 388-388
No TPTP formula. May not be expressible in strict first order.	engineering.kif 389-389	Multipole pole is a subclass of model

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39225-39225
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39224-39224
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39223-39223

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	engineering.kif 405-405	The number 1 argument of has across variable is an instance of multipole pole
No TPTP formula. May not be expressible in strict first order.	engineering.kif 412-412	The number 1 argument of has through variable is an instance of multipole pole

antecedent

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

engineering.kif 391-399

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

consequent

No TPTP formula. May not be expressible in strict first order.	engineering.kif 461-473	If an abstract is an instance of multipole port, then there don't exist another abstract, a third abstract and a fourth abstract such that the other abstract is an instance of multipole pole and the third abstract is an instance of multipole pole and the fourth abstract is an instance of multipole pole and the other abstract is a part of the abstract and the third abstract is a part of the abstract and the fourth abstract is a part of the abstract and the other abstract is not equal to the third abstract and the third abstract is not equal to the fourth abstract and the other abstract is not equal to the fourth abstract
No TPTP formula. May not be expressible in strict first order.	engineering.kif 444-452	If an abstract is an instance of multipole section, then there exist another abstract and a third abstract such that the other abstract is an instance of multipole pole and the third abstract is an instance of multipole pole and the other abstract is a part of the abstract and the third abstract is a part of the abstract and the other abstract is not equal to the third abstract

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