TreeView Knowledge Base Browser - ElectricalEngineering

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8467-8467
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9172-9172
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9175-9175
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9174-9174
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9177-9177
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9176-9176
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21288-21288	subField ElectricalEngineering and Engineering
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21287-21287	ElectricalEngineering est une sous-classe de champ d'�tude

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21492-21492
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21491-21491
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21490-21490