No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11155-11155 |
例 莫霍克語 and 莫霍克語oneida語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11171-11171 |
例 阿伊達語 and 莫霍克語oneida語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38249-38249 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38248-38248 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38247-38247 |
|