No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8233-8233 |
例 南非荷蘭語 and 低法蘭克語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8267-8267 |
例 荷蘭語 and 低法蘭克語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14645-14645 |
例 LimburgishLanguage and 低法蘭克語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8296-8296 |
例 vlaams語言 and 低法蘭克語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35171-35171 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35170-35170 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35169-35169 |
|