No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10204-10204 |
子類 asturo leonese 語言 and 西伊比利亞語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10269-10269 |
子類 卡斯蒂利亞語 and 西伊比利亞語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10448-10448 |
子類 葡萄牙語加利西亞語 and 西伊比利亞語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62871-62871 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62870-62870 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62869-62869 |
|