|
|
   EasternRomanceLanguage
|
|
|
| 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 | EasternRomanceLanguage e' uma sub-classe de RomanceLanguage |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9391-9391 | IstroRomanianLanguage e' uma instancia de EasternRomanceLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9401-9401 | MacedoRomanianLanguage e' uma instancia de EasternRomanceLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9449-9449 | MeglenoRomanianLanguage e' uma instancia de EasternRomanceLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14655-14655 | MoldovanLanguage e' uma instancia de EasternRomanceLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9458-9458 | RomanianLanguage e' uma instancia de EasternRomanceLanguage |
| 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 |
|
|
|
