No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5727-5727 |
例 中央aymara語言 and aymaran語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5746-5746 |
例 jaquara語言 and aymaran語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5757-5757 |
例 南部的aymara語言 and aymaran語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9438-9438 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9437-9437 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9436-9436 |
|