No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21304-21306 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9421-9421 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8593-8593 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9420-9420 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9419-9419 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21301-21301 |
subField Mechanics and Mathematics |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21302-21302 |
subField Mechanics and Physics |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21303-21303 |
Mechanics est une sous-classe de champ d'�tude |