TreeView Knowledge Base Browser - ElectricalComponent

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 978-979
No TPTP formula. May not be expressible in strict first order.	engineering.kif 980-980	ElectricalComponent e' uma sub-classe de ElectricDevice

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 864-864	Capacitor e' uma sub-classe de ElectricalComponent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 825-825	ElectricalConductor e' uma sub-classe de ElectricalComponent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 868-868	Inductor e' uma sub-classe de ElectricalComponent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 748-748	Relay e' uma sub-classe de ElectricalComponent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 854-854	ResistorElement e' uma sub-classe de ElectricalComponent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1039-1039	SemiconductorComponent e' uma sub-classe de ElectricalComponent
No TPTP formula. May not be expressible in strict first order.	Cars.kif 434-434	SparkPlug e' uma sub-classe de ElectricalComponent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 821-821	Terminal e' uma sub-classe de ElectricalComponent
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21474-21474
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21473-21473
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21472-21472