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 6909-6909 | 子類 東部波羅的海語言 and 波羅的海語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6950-6950 | 子類 西方波羅的海語言 and 波羅的海語言 |
![]() |