No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12960-12960 |
子類 克里薩集團的語言 and sko語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12997-12997 |
子類 vanimo集團的語言 and sko語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53330-53330 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53329-53329 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53328-53328 |
|