| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15374-15374 |
Syntagme nominal est disjoint de syntagme verbal |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15348-15348 |
Phrase est disjointement decompos� en syntagme verbal, syntagme nominal, + phrase pr�positionnelle |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1035-1035 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1282-1282 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 713-713 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 245-245 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 248-248 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2396-2396 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 665-665 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 250-250 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 283-283 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 734-734 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 249-249 |
|
