|
|
   WestIberianLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10199-10200 | |
| 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 |
| appearance as argument number 2 |
|
|
| 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 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62871-62871 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62870-62870 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62869-62869 |
|
|
|