No TPTP formula. May not be expressible in strict first order. | Languages.kif 10198-10198 | West iberian language is a subclass of ibero romance language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10204-10204 | Asturo leonese language is a subclass of west iberian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10269-10269 | Castilian language is a subclass of west iberian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10448-10448 | Portuguese galician language is a subclass of west iberian language |