No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21309-21311 |
|
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 21307-21307 |
subField MechanicalEngineering and Engineering |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21308-21308 |
MechanicalEngineering est une sous-classe de champ d'�tude |