No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9975-9975 |
例 friulian語言 and rhaetian語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9990-9990 |
例 拉丁語 and rhaetian語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9997-9997 |
例 羅曼什語 and rhaetian語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49892-49892 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49891-49891 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49890-49890 |
|