|
|
   PureTwopole
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 494-495 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 497-497 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 496-496 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 498-498 | Pure twopole is a subclass of twopole |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 513-513 | Across variable accumulator is a subclass of pure twopole |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 509-509 | Dissipator is a subclass of pure twopole |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 531-531 | Electrical twopole is a subclass of pure twopole |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 501-501 | Ideal switch is a subclass of pure twopole |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 506-506 | Ideal twopole is a subclass of pure twopole |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 520-520 | Source is a subclass of pure twopole |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 517-517 | Through variable accumulator is a subclass of pure twopole |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 569-569 | Translatory twopole is a subclass of pure twopole |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48182-48182 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48181-48181 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48180-48180 |
|
|
|