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	电气工程领域是工程的 sub-field
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21287-21287	电气工程领域是研究领域的 subclass

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