No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9514-9514 |
例 達爾馬提亞語 and italo達爾馬提亞浪漫語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9522-9522 |
例 愛國者語言 and italo達爾馬提亞浪漫語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9541-9541 |
例 意大利語 and italo達爾馬提亞浪漫語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9532-9532 |
例 猶太意大利語 and italo達爾馬提亞浪漫語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9588-9588 |
例 napoletano calabrese 語 and italo達爾馬提亞浪漫語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9602-9602 |
例 西西里語 and italo達爾馬提亞浪漫語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31267-31267 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31266-31266 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31265-31265 |
|