Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Twopole

Sigma KEE - Twopole
Twopole(twopole)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. engineering.kif 475-475
No TPTP formula. May not be expressible in strict first order. engineering.kif 477-477
No TPTP formula. May not be expressible in strict first order. engineering.kif 476-476
No TPTP formula. May not be expressible in strict first order. engineering.kif 478-478 Twopole is a subclass of multipole

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. engineering.kif 498-498 Pure twopole is a subclass of twopole
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59716-59716
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59715-59715
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59714-59714

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. engineering.kif 480-492


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