No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14613-14613 |
例 EstonianLanguage and uralic語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14430-14430 |
例 FinnishLanguage and uralic語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14622-14622 |
例 HungarianLanguage and uralic語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14640-14640 |
例 KomiLanguage and uralic語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14674-14674 |
例 NorthernSamiLanguage and uralic語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60682-60682 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60681-60681 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60680-60680 |
|