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	子類電子產品 and FieldOfStudy

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