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 est une sous-classe de NorthwesternIranianLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8990-8990 | BashkardiLanguage est une instance de BalochiLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8996-8996 | EasternBalochiLanguage est une instance de BalochiLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9014-9014 | KoroshiLanguage est une instance de BalochiLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9021-9021 | SouthernBalochiLanguage est une instance de BalochiLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9046-9046 | WesternBalochiLanguage est une instance 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 |