No TPTP formula. May not be expressible in strict first order.	Geography.kif 3587-3587	Tropics est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3634-3634	UWaIndianReservationColombia est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6956-6956	Wales est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1387-1387	WestBank est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 82-82	WesternAfrica est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 88-88	WesternEurope est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 99-99	WesternSouthAmerica est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3702-3702	ZeifIntersectionWestBank est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9025-9025	R�gion est compl�tement d�compos� en secteur g�ographique + SpaceRegion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 690-690	Le domaine de BorderFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 479-479	Le domaine de DirectionalSubregionFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1958-1958	Le domaine de ElevationHighPointFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1934-1934	Le domaine de ElevationLowPointFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 336-336	Le domaine de GeographicCenterFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 448-448	Le domaine de LongitudeFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6915-6915	Les valeurs retourn�es par GeographicPartTypeFn sont des sous-classes de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5851-5851	ArchipelagicArea est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1985-1985	BusStop est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6013-6013	Cave est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 733-733	Checkpoint est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2658-2658	Ecosystem est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2371-2371	GeologicalFault est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14075-14075	Secteur g�opolitique est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3462-3462	Hemisphere est une sous-classe de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 79-79	IllicitDrugMoneyLaunderingArea est une sous-classe de secteur g�ographique
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