No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 521-521 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 526-526 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 308-308 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 143-143 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2076-2076 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 260-260 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 314-314 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 677-677 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 182-182 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 329-329 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 336-336 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 290-290 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14430-14430 |
home e' uma sub-relacao de inhabits |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14437-14437 |
stays e' uma sub-relacao de inhabits |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 522-522 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30073-30073 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30072-30072 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30071-30071 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 291-291 |
|