TreeView Knowledge Base Browser - MechanicalEngineering

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21310-21312
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8592-8592
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9418-9418
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21308-21308	机械工程领域是工程的 sub-field
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21309-21309	机械工程领域是研究领域的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36731-36731
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36730-36730
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36729-36729