GeopoliticalArea - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1440-1442
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14055-14058
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14054-14054	Secteur g�opolitique est une sous-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14053-14053	Secteur g�opolitique est une sous-classe de secteur g�ographique

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4240-4240	Antarctica est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4841-4841	ConfederateStatesOfAmerica est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4234-4234	GazaStrip est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 145-145	MiddleEastRegion est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Media.kif 2522-2522	Montenegro est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Media.kif 2570-2570	PalestinianTerritories est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4235-4235	ParacelIslands est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 798-798	Scotland est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Media.kif 2494-2494	Serbia est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4236-4236	SpratlyIslands est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Media.kif 2584-2584	SvalbardAndJanMayenIsland est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4845-4845	UnionStatesOfAmerica est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Media.kif 2608-2608	UnitedStatesMinorOutlyingIslands est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4237-4237	WestBank est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4238-4238	WesternSahara est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14244-14244	Ville est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8077-8077	CityDistrict est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14251-14251	County est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8017-8017	DependencyOrSpecialSovereigntyArea est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8009-8009	IndependentState est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14223-14223	Nation est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 487-487	OverseasArea est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 525-525	ParliamentaryTerritory est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 938-938	PortFacility est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 531-531	SelfGoverningTerritory est une sous-classe de secteur g�opolitique

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Military.kif 865-865	Le nombre 1 argument de AvailableForMilitaryServiceMaleFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	People.kif 69-69	Le nombre 1 argument de BirthsPerThousandFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 1527-1527	Le nombre 1 argument de CabinetFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	People.kif 441-441	Le nombre 1 argument de ChildrenBornPerWomanFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8039-8039	Le nombre 1 argument de CitizenryFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 674-674	Le nombre 1 argument de ConstitutionFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	People.kif 102-102	Le nombre 1 argument de DeathsPerThousandFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	People.kif 228-228	Le nombre 1 argument de DeathsPerThousandLiveBirthsFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1149-1149	Le nombre 1 argument de ExclusiveFishingZoneFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1181-1181	Le nombre 1 argument de ExtendedFishingZoneFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	People.kif 394-394	Le nombre 1 argument de FemaleLifeExpectancyAtBirthFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Military.kif 887-887	Le nombre 1 argument de FitForMilitaryServiceMaleFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16712-16712	Le nombre 1 argument de GovernmentFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 2138-2138	Le nombre 1 argument de JudiciaryFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 2036-2036	Le nombre 1 argument de LegislatureFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	People.kif 297-297	Le nombre 1 argument de LifeExpectancyAtBirthFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	People.kif 346-346	Le nombre 1 argument de MaleLifeExpectancyAtBirthFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	People.kif 192-192	Le nombre 1 argument de MaleToFemaleRatioFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1043-1043	Le nombre 1 argument de MaritimeContiguousZoneFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1117-1117	Le nombre 1 argument de MaritimeExclusiveEconomicZoneFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1085-1085	Le nombre 1 argument de MaritimeShelfAreaFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 965-965	Le nombre 1 argument de MerchantMarineFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	People.kif 138-138	Le nombre 1 argument de MigrantsPerThousandFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 501-501	Le nombre 1 argument de OverseasAreaFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8056-8056	Le nombre 2 argument de PerCapitaFn est une instance de secteur g�opolitique

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 2889-2895	codeMapping ISO-4217-A, cha�ne sympbolique and UnitOfCurrency codeMapping ISO-3166-1-alpha-2, cha�ne sympbolique and secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique cha�ne sympbolique est SubstringFn cha�ne sympbolique, 0 and 2 currencyType secteur g�opolitique and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Government.kif 4648-4657	diplomaticOrganizationType secteur g�opolitique, organisation and AutonomousAgent secteur g�opolitique est une instance de nation AutonomousAgent est une instance de secteur g�opolitique organisation organisation est une instance de organisation organisation est situ� � AutonomousAgent organisation est une partie de l'organization le gouvernment de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4658-4667	diplomaticOrganizationType organisation, organisation and AutonomousAgent organisation est une instance de organisation AutonomousAgent est une instance de secteur g�opolitique organisation organisation est une instance de organisation organisation est situ� � AutonomousAgent organisation est une partie de l'organization organisation
No TPTP formula. May not be expressible in strict first order.	Government.kif 4486-4490	diplomaticRepresentativeInRole secteur g�opolitique, humain, position and AutonomousAgent secteur g�opolitique est une instance de secteur g�opolitique le gouvernment de secteur g�opolitique emploie humain
No TPTP formula. May not be expressible in strict first order.	Government.kif 4511-4519	diplomaticRepresentativeInRole secteur g�opolitique, humain, position and AutonomousAgent secteur g�opolitique est une instance de nation organisation est une instance de DiplomaticOrganization organisation est une partie de l'organization le gouvernment de secteur g�opolitique humain occupe la position de position organisation AutonomousAgent est une instance de secteur g�opolitique agentOperatesInArea organisation and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4504-4509	diplomaticRepresentativeInRole AutonomousAgent, humain, position and AutonomousAgent AutonomousAgent est une instance de organisation AutonomousAgent est une instance de secteur g�opolitique agentOperatesInArea AutonomousAgent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4498-4502	diplomaticRepresentativeInRole AutonomousAgent, humain, position and AutonomousAgent AutonomousAgent est une instance de secteur g�opolitique agentOperatesInArea humain and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1313-1318	executiveBranch organisation and secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique organisation est une partie de l'organization organisation organisation est une partie de l'organization le gouvernment de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 1295-1299	executiveBranch organisation and AutonomousAgent AutonomousAgent est une instance de secteur g�opolitique organisation est une instance de GovernmentOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1307-1311	executiveBranch organisation and secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique organisation est une partie de l'organization le gouvernment de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 352-357	governmentType secteur g�opolitique and FormOfGovernment FormOfGovernment est un sous-attribut de TheocraticGovernment secteur g�opolitique est une instance de secteur g�opolitique le gouvernment de secteur g�opolitique est une instance de organisation religieuse
No TPTP formula. May not be expressible in strict first order.	Government.kif 256-264	governmentType secteur g�opolitique and FormOfGovernment secteur g�opolitique est une instance de secteur g�opolitique FormOfGovernment est un sous-attribut de ParliamentaryGovernment organisation organisation est une instance de Parliament organisation est une partie de l'organization le gouvernment de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 242-246	governmentType AutonomousAgent and AbsoluteMonarchy AutonomousAgent est une instance de secteur g�opolitique leaderPosition AutonomousAgent and Monarch
No TPTP formula. May not be expressible in strict first order.	Government.kif 1336-1340	ExecutiveBranchFn secteur g�opolitique est une instance de organisation secteur g�opolitique est une instance de secteur g�opolitique executiveBranch ExecutiveBranchFn secteur g�opolitique and le gouvernment de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 2155-2159	JudiciaryFn secteur g�opolitique est une instance de organisation secteur g�opolitique est une instance de secteur g�opolitique judicialBranch JudiciaryFn secteur g�opolitique and le gouvernment de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 2050-2054	LegislatureFn secteur g�opolitique est une instance de organisation secteur g�opolitique est une instance de secteur g�opolitique legislativeBranch LegislatureFn secteur g�opolitique and le gouvernment de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8045-8052	Secteur g�opolitique est une instance de secteur g�opolitique nombre entier est instances dans CitizenryFn secteur g�opolitique nombre entier est instances dans ResidentFn secteur g�opolitique nombre entier est plus grand ou �gal � nombre entier
No TPTP formula. May not be expressible in strict first order.	Government.kif 142-146	Secteur g�opolitique est une instance de secteur g�opolitique governmentType secteur g�opolitique and FormOfGovernment FormOfGovernment est un attribut de le gouvernment de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1157-1161	Secteur g�opolitique est une instance de secteur g�opolitique ExclusiveFishingZoneFn secteur g�opolitique est une instance de ExclusiveFishingZone claimedTerritory ExclusiveFishingZoneFn secteur g�opolitique and secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1189-1193	Secteur g�opolitique est une instance de secteur g�opolitique ExtendedFishingZoneFn secteur g�opolitique est une instance de ExtendedFishingZone claimedTerritory ExtendedFishingZoneFn secteur g�opolitique and secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 121-125	Secteur g�opolitique est une instance de secteur g�opolitique le gouvernment de secteur g�opolitique est une instance de NationalGovernment secteur g�opolitique est une instance de nation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1050-1054	Secteur g�opolitique est une instance de secteur g�opolitique MaritimeContiguousZoneFn secteur g�opolitique est une instance de MaritimeContiguousZone claimedTerritory MaritimeContiguousZoneFn secteur g�opolitique and secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1125-1129	Secteur g�opolitique est une instance de secteur g�opolitique MaritimeExclusiveEconomicZoneFn secteur g�opolitique est une instance de MaritimeExclusiveEconomicZone claimedTerritory MaritimeExclusiveEconomicZoneFn secteur g�opolitique and secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1092-1096	Secteur g�opolitique est une instance de secteur g�opolitique MaritimeShelfAreaFn secteur g�opolitique est une instance de MaritimeShelfArea claimedTerritory MaritimeShelfAreaFn secteur g�opolitique and secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 978-982	Secteur g�opolitique est une instance de secteur g�opolitique MerchantMarineFn secteur g�opolitique est une instance de MerchantMarine secteur g�opolitique poss�de MerchantMarineFn secteur g�opolitique

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	DutyFree est un attribut de objet objet est une instance de Store secteur g�opolitique entit�, objet and processus secteur g�opolitique est une instance de secteur g�opolitique objet est situ� � secteur g�opolitique objet est une sous-classe de objet importCommodityType secteur g�opolitique and objet entit� est une instance de objet processus est une instance de vendre entit� est un patient de processus processus est situ� � objet
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	DislocatedCivilian est un attribut de entit� entit� vie � entit� entit� est situ� � secteur g�ographique pendant interval temporel secteur g�ographique est une instance de secteur g�ographique interval temporel est une instance de interval temporel interval temporel entit�-PLACE and entit�-RES interval temporel est une instance de interval temporel interval temporel arrive plus t�t que interval temporel entit�-RES est une instance de objet entit�-PLACE est une instance de secteur g�opolitique entit�-RES est situ� � entit�-PLACE secteur g�ographique est entit�-PLACE entit� est entit�-RES geographicSubregion secteur g�ographique and entit�-PLACE geographicSubregion entit�-PLACE and secteur g�ographique entit� vie � entit�-RES pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Government.kif 1692-1698	AutonomousAgent est une instance de AutonomousAgent ElectionFn AutonomousAgent est une sous-classe de Election AutonomousAgent est une instance de organisation AutonomousAgent est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2432-2445	Processus est une instance de Exporting entit� est un patient de processus secteur g�opolitique est une instance de secteur g�opolitique entit� est situ� � secteur g�opolitique pendant le d�but de temps d'existence de processus secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique sous-division g�opolitique sous-division g�opolitique entit� est situ� � secteur g�opolitique pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13882-13886	Processus est une instance de PoliticalRevolution entit� est un patient de processus entit� est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16905-16909	Relation est une instance de EconomicRelation le nombre 1 argument de relation est une instance de classe classe est une sous-classe de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1841-1858	Objet est une instance de acheter CBT est un attribut de objet entit� est un patient de objet entit� est une instance de objet objet AutonomousAgent, AutonomousAgent_LOCATION and objet_LOCATION AutonomousAgent est une instance de AutonomousAgent objet est une instance de AutonomousAgent objet est un agent de AutonomousAgent objet a pour origine objet AutonomousAgent_LOCATION est une instance de secteur g�opolitique objet_LOCATION est une instance de secteur g�opolitique objet est situ� � objet_LOCATION AutonomousAgent est situ� � AutonomousAgent_LOCATION AutonomousAgent_LOCATION est objet_LOCATION
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1822-1839	Objet est une instance de vendre CBT est un attribut de objet entit� est un patient de objet entit� est une instance de objet AutonomousAgent physique, physique_LOCATION and AutonomousAgent_LOCATION physique est une instance de AutonomousAgent AutonomousAgent est une instance de AutonomousAgent objet aboutit � physique objet est un agent de AutonomousAgent physique_LOCATION est une instance de secteur g�opolitique AutonomousAgent_LOCATION est une instance de secteur g�opolitique AutonomousAgent est situ� � AutonomousAgent_LOCATION physique est situ� � physique_LOCATION physique_LOCATION est AutonomousAgent_LOCATION
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13338-13349	Processus est une instance de guerre processus est un agent de AutonomousAgent AutonomousAgent est une instance de secteur g�opolitique AutonomousAgent est une instance de organisation physique physique est un membre de AutonomousAgent physique est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 3466-3473	AutonomousAgent est un membre de InternationalCourtOfJustice JudgeAtLaw est un attribut de AutonomousAgent AutonomousAgent AutonomousAgent est une instance de secteur g�opolitique representativeAgentToAgent AutonomousAgent, AutonomousAgent and InternationalCourtOfJustice
No TPTP formula. May not be expressible in strict first order.	Government.kif 1363-1369	Monarch est un attribut de humain secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique governmentType secteur g�opolitique and Monarchy chiefOfState secteur g�opolitique, Monarch and humain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 91-95	economyType AutonomousAgent and EconomicAttribute AutonomousAgent est une instance de secteur g�opolitique AutonomousAgent est une instance de organisation
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3704-3708	Interval temporel est FiscalYearFn AutonomousAgent AutonomousAgent est une instance de secteur g�opolitique AutonomousAgent est une instance de organisation
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3732-3736	Interval temporel est FiscalYearStartingFn AutonomousAgent and ann�e AutonomousAgent est une instance de secteur g�opolitique AutonomousAgent est une instance de organisation
No TPTP formula. May not be expressible in strict first order.	Government.kif 1289-1293	executiveBranch organisation and AutonomousAgent organisation est une instance de secteur g�opolitique organisation est une instance de organisation
No TPTP formula. May not be expressible in strict first order.	Government.kif 136-140	governmentType AutonomousAgent and FormOfGovernment AutonomousAgent est une instance de organisation AutonomousAgent est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 1375-1390	Processus est une instance de Coronation entit� entit� entit� est une instance de humain entit� est un patient de processus entit� est une instance de secteur g�opolitique chiefOfState entit�, Monarch and entit� pendant le d�but de temps d'existence de processus chiefOfState entit�, Monarch and entit� pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2728-2741	Collection est une instance de GlobalCrossFunctionalTeam physique physique_LOC, physique and physique_LOC physique est une instance de humain physique est une instance de humain physique_LOC est une instance de secteur g�opolitique physique_LOC est une instance de secteur g�opolitique physique est un membre de collection physique est un membre de collection physique est situ� � physique_LOC physique est situ� � physique_LOC physique_LOC est physique_LOC
No TPTP formula. May not be expressible in strict first order.	Military.kif 788-793	MilitaryOrganization est une instance de MilitaryOrganization secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique militaryOfArea MilitaryOrganization and secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3039-3049	Entit� est une instance de TreatyDocument processus AutonomousAgent and AutonomousAgent processus est une instance de investir entit� est un patient de processus AutonomousAgent est une instance de secteur g�opolitique processus est un agent de AutonomousAgent AutonomousAgent est une instance de secteur g�opolitique processus est un agent de AutonomousAgent AutonomousAgent est AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2102-2106	judicialBranch organisation and AutonomousAgent organisation est une instance de secteur g�opolitique organisation est une instance de organisation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2007-2011	legislativeBranch organisation and AutonomousAgent AutonomousAgent est une instance de organisation AutonomousAgent est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 1023-1027	suffrageAgeMaximum AutonomousAgent and dur�e temporel AutonomousAgent est une instance de organisation AutonomousAgent est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 951-955	suffrageAgeMinimum AutonomousAgent and dur�e temporel AutonomousAgent est une instance de organisation AutonomousAgent est une instance de secteur g�opolitique

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: