No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 542-542	HongKong est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 644-644	HowlandIsland est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 346-346	IsleOfMan est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 312-312	JanMayenIsland est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 645-645	JarvisIsland est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 345-345	Jersey est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 646-646	JohnstonAtoll est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 647-647	KingmanReef est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 543-543	Macau est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 421-421	Martinique est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 648-648	MidwayIslands est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 422-422	Montserrat est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 423-423	NavassaIsland est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 424-424	NetherlandsAntilles est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 649-649	NewCaledonia est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 650-650	Niue est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 651-651	NorfolkIsland est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 652-652	NorthernMarianaIslands est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	Media.kif 2571-2571	PalestinianTerritories est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 653-653	PalmyraAtoll est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 595-595	ParacelIslands est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 654-654	PitcairnIslands est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 232-232	SaintHelena est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 402-402	SaintPierreAndMiquelon est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 493-493	SouthGeorgiaAndTheSouthSandwichIslands est une instance de zone de terre
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