No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8820-8820 |
例 東北巴沙伊語 and 帕薩伊集團的語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8832-8832 |
例 西北巴沙伊語 and 帕薩伊集團的語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8844-8844 |
例 東南巴沙伊語 and 帕薩伊集團的語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8859-8859 |
例 西南巴沙伊語 and 帕薩伊集團的語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44634-44634 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44633-44633 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44632-44632 |
|