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 48184-48184 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48183-48183 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48182-48182 |