|
|
  inflationRateOfConsumerPricesInPeriod BalochiLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8986-8987 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9900-9900 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10485-10485 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10487-10487 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10488-10488 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10486-10486 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8985-8985 | BalochiLanguage e' uma sub-classe de NorthwesternIranianLanguage |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8990-8990 | BashkardiLanguage e' uma instancia de BalochiLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8996-8996 | EasternBalochiLanguage e' uma instancia de BalochiLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9014-9014 | KoroshiLanguage e' uma instancia de BalochiLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9021-9021 | SouthernBalochiLanguage e' uma instancia de BalochiLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9046-9046 | WesternBalochiLanguage e' uma instancia de BalochiLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9708-9708 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9707-9707 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9706-9706 |
|
|
|
