BneiAyishIsrael
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1559-1559 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8388-8388 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2661-2661 | Bnei Ayish 以色列 是 以色列 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1558-1558 | 例 Bnei Ayish 以色列 and City |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2662-2662 | 名 "Bnei Ayish" and Bnei Ayish 以色列 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11423-11423 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11422-11422 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11421-11421 |