ElectricalCircuit(electrical circuit) | T-network, bridge, bridge_circuit, bridged-T, bypass, circuit, clipper, closed_circuit, computer_circuit, data_link, delay_line, electric_circuit, electrical_circuit, electrical_shunt, feedback_circuit, feedback_loop, flip-flop, limiter, link, loop, open_circuit, pulse_timing_circuit, resonant_circuit, resonator, series_circuit, short, short_circuit, shunt, squelch, squelch_circuit, squelcher, tank_circuit, wiring |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 982-983 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9170-9170 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8466-8466 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9171-9171 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 984-984 | Electrical circuit is a subclass of electric device |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 990-990 | Amplifier is a subclass of electrical circuit |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 995-995 | Frequency filter is a subclass of electrical circuit |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1044-1044 | Operational amplifier is a subclass of electrical circuit |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1010-1010 | Rectifier is a subclass of electrical circuit |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21468-21468 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21467-21467 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21466-21466 |