No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14694-14694 |
例 WalloonLanguage and oiel語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9752-9752 |
子類 法語小組語言 and oiel語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9937-9937 |
子類 東南地區的語言 and oiel語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41930-41930 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41929-41929 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41928-41928 |
|