| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18003-18003 |
例 潮濕 and SaturationAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17990-17990 |
例 乾 and SaturationAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5738-5738 |
例 OxygenatedBlood and SaturationAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18007-18007 |
例 濕 and SaturationAttribute |
| 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 |
|
