| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18082-18082 |
Damp est une instance de attribut de saturation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18069-18069 |
Dry est une instance de attribut de saturation |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5738-5738 |
OxygenatedBlood est une instance de attribut de saturation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18086-18086 |
Wet est une instance de attribut de saturation |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1256-1256 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1733-1733 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 934-934 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 469-469 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 472-472 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2618-2618 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 886-886 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 508-508 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 955-955 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 473-473 |
|
