No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 383-383 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 389-389 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 220-220 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 211-211 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2026-2026 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 172-172 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 227-227 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 513-513 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 249-249 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 240-240 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 237-237 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 403-403 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10038-10038 |
completelyFills est une sous-relation de partiallyFills |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1001-1001 |
properlyFills est une sous-relation de partiallyFills |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 384-384 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44534-44534 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44533-44533 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44532-44532 |
|