No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10209-10209 |
例 阿斯圖里亞斯語言 and asturo leonese 語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10255-10255 |
例 米蘭達做douro語言 and asturo leonese 語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8832-8832 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8831-8831 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8830-8830 |
|