MultipoleSection
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 426-429 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 430-430 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 431-431 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 432-432 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 433-433 | 子類 多極部分 and 模型 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 456-456 | 子類 多極港 and 多極部分 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39251-39251 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39250-39250 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39249-39249 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 444-452 |
consequent |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 391-399 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 436-441 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 480-492 |