No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8228-8228 |
低法兰克语 是 低撒克逊低法兰克语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8333-8333 |
低撒克逊群体语言 是 低撒克逊低法兰克语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35225-35225 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35224-35224 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35223-35223 |
|