No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12407-12407 |
例 halo te su 語言 and nambiquaran語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12415-12415 |
例 北部的nambikuara語言 and nambiquaran語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12437-12437 |
例 sabanes語言 and nambiquaran語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12446-12446 |
例 sararwe語言 and nambiquaran語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12424-12424 |
例 南部的nambikuara語言 and nambiquaran語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39663-39663 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39662-39662 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39661-39661 |
|