| LowFranconianLanguage(low franconian language)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8229-8230 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9390-9390 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9391-9391 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8579-8579 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9389-9389 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8228-8228 | Low franconian language is a subclass of low saxon low franconian language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8233-8233 | Afrikaans language is an instance of low franconian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8267-8267 | Dutch language is an instance of low franconian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14645-14645 | Limburgish language is an instance of low franconian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8296-8296 | Vlaams language is an instance of low franconian language |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35171-35171 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35170-35170 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35169-35169 |
|
|
|