No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11043-11043 |
例 卡舒比語 and lechitic語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11057-11057 |
例 極地語言 and lechitic語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11063-11063 |
例 波蘭語 and lechitic語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33731-33731 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33730-33730 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33729-33729 |
|