No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7727-7728 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7721-7722 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8522-8522 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9293-9293 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7720-7720 |
HighGermanLanguage est une sous-classe de WestGermanicLanguage |