No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6717-6717 |
子類 阿爾巴尼亞語 and 印度歐洲語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6816-6816 |
子類 亞美尼亞語言 and 印度歐洲語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6903-6903 |
子類 波羅的海語言 and 印度歐洲語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6965-6965 |
子類 凱爾特語 and 印度歐洲語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7105-7105 |
子類 德系語 and 印度歐洲語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8511-8511 |
子類 希臘團體語言 and 印度歐洲語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8647-8647 |
子類 印度伊朗語 and 印度歐洲語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9361-9361 |
子類 斜體語言 and 印度歐洲語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10691-10691 |
子類 斯拉夫語 and 印度歐洲語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29683-29683 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29682-29682 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29681-29681 |
|