| EasternRomanceLanguage(eastern romance language)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9387-9388 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8461-8461 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9386-9386 | Eastern romance language is a subclass of romance language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9391-9391 | Istro romanian language is an instance of eastern romance language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9401-9401 | Macedo romanian language is an instance of eastern romance language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9449-9449 | Megleno romanian language is an instance of eastern romance language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14655-14655 | Moldovan language is an instance of eastern romance language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9458-9458 | Romanian language is an instance of eastern romance language |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20940-20940 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20939-20939 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20938-20938 |
|
|
|