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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MutualInductance

 Sigma KEE - MutualInductance
MutualInductance(mutual inductance)

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 686-687
No TPTP formula. May not be expressible in strict first order. engineering.kif 689-689 Mutual inductance is an instance of physical attribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 688-688 Mutual inductance is a subattribute of inductance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39503-39503
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39502-39502
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39501-39501


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