(subclass Source PureTwopole) | engineering.kif 520-520 | Source is a subclass of pure twopole |
(subclass AcrossVariableSource Source) | engineering.kif 524-524 | Across variable source is a subclass of source |
(subclass ThroughVariableSource Source) | engineering.kif 528-528 | Through variable source is a subclass of source |