MechanicalEngineering - Sigma Knowledge base Browser

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	子類機械工程領域 and FieldOfStudy

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