Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  GazaStrip

Sigma KEE - GazaStrip
GazaStrip

appearance as argument number 1
-------------------------


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 3716-3716 claimedTerritory GazaStrip and PalestinianLiberationOrganization
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1390-1390
No TPTP formula. May not be expressible in strict first order. pictureList.kif 458-458
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3494-3494
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 244-244 geographicSubregion GazaStrip and MiddleEastRegion
No TPTP formula. May not be expressible in strict first order. Media.kif 2573-2573 geographicSubregion GazaStrip and PalestinianTerritories
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1389-1389 GazaStrip e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4234-4234 GazaStrip e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 237-237 GazaStrip e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 245-245 GazaStrip e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order. Media.kif 2580-2580 GazaStrip encontra Israel

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2514-2514 geographicSubregion AleiSinaiGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2574-2574 geographicSubregion AtzmonaGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2642-2642 geographicSubregion BetLeHiyehGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2802-2802 geographicSubregion DugitGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2833-2833 geographicSubregion EleiSinaiGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2837-2837 geographicSubregion ErezGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2893-2893 geographicSubregion GushKatifGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3045-3045 geographicSubregion KfarDaromGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3053-3053 geographicSubregion KfarYamGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3083-3083 geographicSubregion KissufimGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3250-3250 geographicSubregion MoragJunctionGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3278-3278 geographicSubregion NahalOzGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3297-3297 geographicSubregion NetzarimGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3299-3299 geographicSubregion NetzerHazaniGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3309-3309 geographicSubregion NeztarimSettlementGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3313-3313 geographicSubregion NissanitGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3389-3389 geographicSubregion PeAtSadehGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3413-3413 geographicSubregion RafahGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3436-3436 geographicSubregion RimalDistrictGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3468-3468 geographicSubregion SajaIAGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3517-3517 geographicSubregion SheikhAjlunGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3584-3584 geographicSubregion TelQateifaGazaStrip and GazaStrip
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4003-4003 GazaStrip se chama nome "Gaza Strip"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25598-25598
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25597-25597

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners