No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9746-9746 |
子類 oiel語言 and 加洛拉蒂安語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9970-9970 |
子類 rhaetian語言 and 加洛拉蒂安語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25394-25394 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25393-25393 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25392-25392 |
|