|
|
  Israel
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3229-3229 | currencyType Israel and IsraeliShekel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1265-1265 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 547-547 | economyType Israel and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 161-161 | economyType Israel and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 523-523 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 250-250 | geographicSubregion Israel and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 251-251 | Israel e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1837-1837 | capitalCity JerusalemIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3715-3715 | claimedTerritory GazaStrip and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3723-3723 | claimedTerritory WestBank and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2502-2502 | geographicSubregion AfulaIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2558-2558 | geographicSubregion AshdodIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2560-2560 | geographicSubregion AskelonIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2576-2576 | geographicSubregion AvneiHefetzIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2580-2580 | geographicSubregion AzorIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2590-2590 | geographicSubregion BakaAlGarbiyehIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2612-2612 | geographicSubregion BasraIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2614-2614 | geographicSubregion BatYamIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2620-2620 | geographicSubregion BeErShevaIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2630-2630 | geographicSubregion BeitSheAnIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2632-2632 | geographicSubregion BeitShemeshIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2645-2645 | geographicSubregion BetLidJunctionIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2647-2647 | geographicSubregion BethElIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2657-2657 | geographicSubregion BinyaminaIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2661-2661 | geographicSubregion BneiAyishIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2705-2705 | geographicSubregion CarmelIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2813-2813 | geographicSubregion EastJerusalemIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2817-2817 | geographicSubregion EilatIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2849-2849 | geographicSubregion FrenchHillIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2859-2859 | geographicSubregion GashuriIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2872-2872 | geographicSubregion GiloIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2895-2895 | geographicSubregion HaderaIsrael and Israel |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2719-2719 | codeMapping ISO-3166-1-alpha-2, "IL" and Israel |
|
|
|
