No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 371-371 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 372-372 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 214-214 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 289-289 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2020-2020 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 166-166 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 221-221 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 495-495 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 326-326 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 234-234 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 231-231 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 481-481 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9707-9707 |
底部 是 表面部分 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9737-9737 |
边 是 表面部分 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9676-9676 |
表面 是 表面部分 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9722-9722 |
顶部 是 表面部分 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56113-56113 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 372-372 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56112-56112 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56111-56111 |
|