No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10873-10873 |
Changement de quantit� est compl�tement d�compos� en augmenter + diminuer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17139-17139 |
Accelerating est une sous-classe de augmenter |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6453-6453 |
Bloating est une sous-classe de augmenter |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10914-10914 |
R�chauffer est une sous-classe de augmenter |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12386-12386 |
Inflammation est une sous-classe de augmenter |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3601-3601 |
Inflating est une sous-classe de augmenter |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23802-23802 |
Lengthening est une sous-classe de augmenter |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1433-1433 |
Proliferation est une sous-classe de augmenter |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23822-23822 |
Saving est une sous-classe de augmenter |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1109-1109 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1435-1435 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 787-787 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 319-319 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 322-322 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2471-2471 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 739-739 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 324-324 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 358-358 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 808-808 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 323-323 |
|