DariLanguage |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9088-9096 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10789-10789 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9970-9970 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9087-9087 | DariLanguage est une instance de CentralIranianLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18528-18528 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18527-18527 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18526-18526 |