| MultipolePort(multipole port) | | multipole_port, 多极港, 多極港 |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 447-448 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 450-450 | The lex noun word for multipole port is "multipole port" |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 451-451 | The lex noun word for multipole port is "port" |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 452-452 | The lex noun word for multipole port is "{port of} multipole" |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 449-449 | Multipole port is a subclass of multipole section |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39151-39151 | "多极港" is the printable form of multipole port in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39150-39150 | "多極港" is the printable form of multipole port in ChineseTraditionalLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39149-39149 | "multipole port" is the printable form of multipole port in english language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 454-466 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 473-485 |
|
|
|
|