| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 397-397 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 403-403 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 229-229 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 184-184 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2031-2031 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 181-181 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 1020-1020 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 222-222 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 249-249 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 249-249 |
|
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9789-9789 |
相關的內部概念 mereological 總和 and mereological產品 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37187-37187 |
|
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 398-398 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37186-37186 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37185-37185 |
|
MereologicalProductFn