No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8228-8228 |
子類 低法蘭克語 and 低撒克遜低法蘭克語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8333-8333 |
子類 低撒克遜群體語言 and 低撒克遜低法蘭克語 |
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 |
|