| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1524-1524 |
猴子 是 疱疹B病毒 的病毒传递者 |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1000-1000 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1212-1212 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 677-677 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 208-208 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 211-211 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2361-2361 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 629-629 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 213-213 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 245-245 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 698-698 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 212-212 |
|
