No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14317-14317 |
例 wappo語言 and yuki組語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14324-14324 |
例 yuki語言 and yuki組語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63999-63999 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63998-63998 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63997-63997 |
|