No TPTP formula. May not be expressible in strict first order. |
engineering.kif 513-513 |
AcrossVariableAccumulator e' uma sub-classe de PureTwopole |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 509-509 |
Dissipator e' uma sub-classe de PureTwopole |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 531-531 |
ElectricalTwopole e' uma sub-classe de PureTwopole |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 501-501 |
IdealSwitch e' uma sub-classe de PureTwopole |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 506-506 |
IdealTwopole e' uma sub-classe de PureTwopole |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 520-520 |
Source e' uma sub-classe de PureTwopole |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 517-517 |
ThroughVariableAccumulator e' uma sub-classe de PureTwopole |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 569-569 |
TranslatoryTwopole e' uma sub-classe de PureTwopole |
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 |
|