No TPTP formula. May not be expressible in strict first order. 
engineering.kif 241241 
Mathematical model is a subclass of model 
No TPTP formula. May not be expressible in strict first order. 
engineering.kif 314314 
Multipole is a subclass of model 
No TPTP formula. May not be expressible in strict first order. 
engineering.kif 340340 
Multipole model is a subclass of model 
No TPTP formula. May not be expressible in strict first order. 
engineering.kif 388388 
Multipole pole is a subclass of model 
No TPTP formula. May not be expressible in strict first order. 
engineering.kif 430430 
Multipole section is a subclass of model 
No TPTP formula. May not be expressible in strict first order. 
domainEnglishFormat.kif 3810138101 

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

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