No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6643-6645 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10052-10052 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11164-11164 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11166-11166 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6642-6642 |
HmongMienLanguage est une sous-classe de LanguageFamily |