No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8990-8990 |
例 巴什卡迪語言 and balochi語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8996-8996 |
例 東部balochi語言 and balochi語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9014-9014 |
例 koroshi語言 and balochi語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9021-9021 |
例 南方的balochi語言 and balochi語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9046-9046 |
例 西方balochi語言 and balochi語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9708-9708 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9707-9707 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9706-9706 |
|