No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5934-5934 |
例 awbono語言 and bayono awbono 語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5945-5945 |
例 巴約語言 and bayono awbono 語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10260-10260 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10259-10259 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10258-10258 |
|