No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 399-399 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 405-405 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 230-230 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 183-183 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2032-2032 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 182-182 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 1023-1023 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 221-221 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 250-250 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 250-250 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 360-360 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9847-9847 |
Mereological product is internally related to mereological difference |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9826-9826 |
Mereological sum is internally related to mereological difference |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37181-37181 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 400-400 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37180-37180 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37179-37179 |
|