Electronics - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21295-21296
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5983-5983
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6462-6462
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6464-6464
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6463-6463
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21293-21293	电子产品是工程的 sub-field
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21292-21292	电子产品是物理的 sub-field
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21294-21294	电子产品是研究领域的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21298-21298	PowerElectronics 是电子产品的 sub-field
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21732-21732
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21731-21731
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21730-21730