No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 381-381 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 387-387 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 219-219 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 47-47 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2025-2025 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 171-171 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cb.txt 81-81 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 226-226 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 510-510 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 89-89 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 239-239 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 236-236 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 110-110 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10043-10043 |
fills e' uma sub-relacao de completelyFills |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 382-382 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16176-16176 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16175-16175 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16174-16174 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 111-111 |
|