No TPTP formula. May not be expressible in strict first order. |
engineering.kif 241-241 |
Mathematical model is a subclass of model |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 310-310 |
Multipole is a subclass of model |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 336-336 |
Multipole model is a subclass of model |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 384-384 |
Multipole pole is a subclass of model |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 426-426 |
Multipole section is a subclass of model |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38125-38125 |
"模型" is the printable form of model in ChineseLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38124-38124 |
"模型" is the printable form of model in ChineseTraditionalLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38123-38123 |
"model" is the printable form of model in english language |