| PanjabiGroupLanguage(panjabi group language) | | Panjabi, Punjabi |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8692-8693 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8691-8691 | Panjabi group language is a subclass of central zone indo aryan language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44226-44226 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44225-44225 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44224-44224 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14785-14785 | "pa" in ISO-639-1 denotes panjabi group language |
|
|
|