No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8233-8233 |
南非荷兰语 是 低法兰克语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8267-8267 |
荷兰语 是 低法兰克语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14645-14645 |
LimburgishLanguage 是 低法兰克语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8296-8296 |
Vlaams语言 是 低法兰克语 的 instance |
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 |
|