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 est une sous-classe de ElectricDevice

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 864-864	Capacitor est une sous-classe de ElectricalComponent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 825-825	ElectricalConductor est une sous-classe de ElectricalComponent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 868-868	Inductor est une sous-classe de ElectricalComponent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 748-748	Relay est une sous-classe de ElectricalComponent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 854-854	ResistorElement est une sous-classe de ElectricalComponent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1039-1039	SemiconductorComponent est une sous-classe de ElectricalComponent
No TPTP formula. May not be expressible in strict first order.	Cars.kif 434-434	SparkPlug est une sous-classe de ElectricalComponent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 821-821	Terminal est une sous-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