No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31692-31692	Le nombre 1 argument de PopulationFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	People.kif 36-36	Le nombre 1 argument de PopulationGrowthFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Military.kif 924-924	Le nombre 1 argument de ReachingMilitaryAgeAnnuallyMaleFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 882-882	Le nombre 1 argument de RegionalLawFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8028-8028	Le nombre 1 argument de ResidentFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1133-1133	Le nombre 1 argument de ShipRegisterFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 2179-2179	Le nombre 1 argument de SupremeCourtFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1222-1222	Le nombre 1 argument de TerritorialSeaFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 383-383	Le nombre 1 argument de administrativeCenter est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 384-384	Le nombre 2 argument de administrativeCenter est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Law.kif 544-544	Le nombre 2 argument de ageOfMajorityForProcess est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2231-2231	Le nombre 1 argument de agriculturalProductType est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2241-2241	Le nombre 1 argument de agriculturalProductTypeByRank est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2104-2104	Le nombre 1 argument de annualElectricityConsumption est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2148-2148	Le nombre 1 argument de annualElectricityExport est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2194-2194	Le nombre 1 argument de annualElectricityImport est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1972-1972	Le nombre 1 argument de annualElectricityProduction est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1508-1508	Le nombre 1 argument de annualExpendituresOfArea est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1497-1497	Le nombre 1 argument de annualExpendituresOfAreaInPeriod est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2268-2268	Le nombre 1 argument de annualExportTotal est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2574-2574	Le nombre 1 argument de annualImportTotal est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1480-1480	Le nombre 1 argument de annualRevenuesOfArea est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1469-1469	Le nombre 1 argument de annualRevenuesOfAreaInPeriod est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 376-376	Le nombre 2 argument de capitalCity est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1548-1548	Le nombre 1 argument de capitalExpendituresOfArea est une instance de secteur g�opolitique
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