Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectricalCircuit

 Sigma KEE - ElectricalCircuit
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners