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 Israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1558-1558 | Bnei Ayish Israel is an instance of city |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2662-2662 | Bnei Ayish Israel has name "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 |