| DariLanguage(dari language)
| | Dari, Dari_Persian |
| 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 | Dari language is an instance of central iranian language |
| 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 |
|
|
|