No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7660-7660 |
例 東弗里斯蘭語 and 弗里斯蘭語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7675-7675 |
例 北弗里斯蘭語 and 弗里斯蘭語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7701-7701 |
例 西弗里西亞語 and 弗里斯蘭語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25064-25064 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25063-25063 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25062-25062 |
|