No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12558-12558 |
例 亞瓜語 and peba yaguan 語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12570-12570 |
例 yameo語言 and peba yaguan 語 |
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 |
|