LowFranconianLanguage
|
|
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 | LowFranconianLanguage est une sous-classe de LowSaxonLowFranconianLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8233-8233 | AfrikaansLanguage est une instance de LowFranconianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8267-8267 | DutchLanguage est une instance de LowFranconianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14645-14645 | LimburgishLanguage est une instance de LowFranconianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8296-8296 | VlaamsLanguage est une instance de LowFranconianLanguage |
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 |