No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12558-12558 |
亚瓜语 是 peba yaguan 语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12570-12570 |
Yameo语言 是 peba yaguan 语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44960-44960 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44959-44959 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44958-44958 |
|