| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10198-10198 | WestIberianLanguage e' uma sub-classe de IberoRomanceLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10204-10204 | AsturoLeoneseLanguage e' uma sub-classe de WestIberianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10269-10269 | CastilianLanguage e' uma sub-classe de WestIberianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10448-10448 | PortugueseGalicianLanguage e' uma sub-classe de WestIberianLanguage |
|
|