No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 535-535 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 540-540 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 315-315 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 237-237 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2083-2083 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 267-267 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 698-698 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 275-275 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 336-336 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 347-347 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 429-429 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 536-536 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48026-48026 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48025-48025 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48024-48024 |
|