SoutheasternSlavicLanguage(southeastern slavic language) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10800-10801 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10799-10799 | Southeastern slavic language is a subclass of south slavic language |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10804-10804 | Bulgarian language is an instance of southeastern slavic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10836-10836 | Macedonian language is an instance of southeastern slavic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10861-10861 | Old church slavonic language is an instance of southeastern slavic language |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54134-54134 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54133-54133 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54132-54132 |