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