No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5507-5507 |
例 阿魯阿語言 and aruan語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5514-5514 |
例 巴納瓦語言 and aruan語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5526-5526 |
例 庫利納語 and aruan語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5540-5540 |
例 丹尼語 and aruan語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5547-5547 |
例 jamamadi語言 and aruan語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5560-5560 |
例 jaruara語言 and aruan語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5568-5568 |
例 paumari語言 and aruan語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5578-5578 |
例 蘇魯哈語 and aruan語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8586-8586 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8585-8585 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8584-8584 |
|