No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2869-2869	GhaziabadUttarPradeshIndia e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2892-2892	GushKatifGazaStrip e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2929-2929	HodayaJunctionIsrael e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2932-2932	HolonJunctionIsrael e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2943-2943	IncirlikAirbaseTurkey e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2952-2952	IslandOfBaliIndonesia e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2969-2969	JalpaiguriRailwayStationIndia e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3035-3035	KatmanduAirportNepal e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3040-3040	KedumimSettlementWestBank e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3115-3115	LesEucalyptusDistrictAlgeria e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3140-3140	LosAngelesInternationalAirportUnitedStates e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3145-3145	LosKatiosNationalParkColombia e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3176-3176	MalukkaIslandsIndonesia e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3185-3185	MangalsenAndSanpheBagarNepal e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 94-94	MiddleAmerica e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 83-83	MiddleEastRegion e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3238-3238	MinharotRoadWestBank e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3249-3249	MoragJunctionGazaStrip e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3288-3288	NallurAreaSriLanka e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 29-29	NewEngland e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3308-3308	NeztarimSettlementGazaStrip e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3319-3319	NokdimTekoaRdWestBank e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 91-91	NorthAmerica e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 80-80	NorthernAfrica e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 102-102	NorthernAsia e' uma instancia de Area Geografica
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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