No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11043-11043 |
Kashubian language is an instance of lechitic language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11057-11057 |
Polabian language is an instance of lechitic language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11063-11063 |
Polish language is an instance of lechitic language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33731-33731 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33730-33730 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33729-33729 |
|