GazaStrip - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3715-3715	以色列是加沙地帶的 claimed 領土
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3716-3716	巴勒斯坦解放組織是加沙地帶的 claimed 領土
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	加沙地帶是中東地區的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Media.kif 2573-2573	加沙地帶是 PalestinianTerritories 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1389-1389	例加沙地帶 and GeographicArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4234-4234	例加沙地帶 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 237-237	例加沙地帶 and LandArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 245-245	例加沙地帶 and Nation
No TPTP formula. May not be expressible in strict first order.	Media.kif 2580-2580	空間的符合加沙地帶 and 以色列

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2514-2514	Alei sinai 加沙地帶是加沙地帶的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2574-2574	Atzmona 加沙地帶是加沙地帶的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2642-2642	Bet le hiyeh 加沙地帶是加沙地帶的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2802-2802	Dugit 加沙地帶是加沙地帶的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2833-2833	Elei sinai 加沙地帶是加沙地帶的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2837-2837	埃雷茲加沙地帶是加沙地帶的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2893-2893	Gush katif 加沙地带是加沙地帶的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3045-3045	Kfar darom 加沙地帶是加沙地帶的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3053-3053	Kfar yam 加沙地帶是加沙地帶的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3083-3083	Kissufim加沙地帶是加沙地帶的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3250-3250	Morag junction 加沙地帶是加沙地帶的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3278-3278	Nahal oz 加沙地帶是加沙地帶的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3297-3297	Netzarim加沙地帶是加沙地帶的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3299-3299	Netzer hazani 加沙地帶是加沙地帶的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3309-3309	Neztarim定居加沙地帶是加沙地帶的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3313-3313	Nissanit加沙地帶是加沙地帶的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3389-3389	Pe at sadeh 加沙地带是加沙地帶的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3413-3413	拉法加沙地帶是加沙地帶的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3436-3436	Rimal地區加沙地帶是加沙地帶的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3468-3468	SajaIA加沙地帶是加沙地帶的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3517-3517	Sheikh ajlun 加沙地帶是加沙地帶的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3584-3584	Tel qateifa 加沙地帶是加沙地帶的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4003-4003	名 "Gaza Strip" and 加沙地帶
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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: