TreeView Knowledge Base Browser

appearance as argument number 1

(documentation GeopoliticalArea ChineseLanguage "这是任何与某些政治架构有关的 GeographicArea。这组类别包括：LandArea、City、城市的分区和县等等。注：一个 GeopoliticalArea 的特性在边界受到改变以后可能仍然保持不变。")	chinese_format.kif 1440-1442
(documentation GeopoliticalArea EnglishLanguage "Any GeographicArea which is associated with some sort of political structure. This class includes LandArea, Cities, districts of cities, counties, etc. Note that the identity of a GeopoliticalArea may remain constant after a change in borders.")	Merge.kif 14055-14058
(subclass GeopoliticalArea AutonomousAgent)	Merge.kif 14054-14054	GeopoliticalArea ist eine teilkategorie von AutonomousAgent
(subclass GeopoliticalArea GeographicArea)	Merge.kif 14053-14053	GeopoliticalArea ist eine teilkategorie von GeographicArea

appearance as argument number 2

(instance Antarctica GeopoliticalArea)	CountriesAndRegions.kif 4240-4240	Antarctica ist ein fall von GeopoliticalArea %n{nicht}
(instance ConfederateStatesOfAmerica GeopoliticalArea)	Government.kif 4841-4841	ConfederateStatesOfAmerica ist ein fall von GeopoliticalArea %n{nicht}
(instance GazaStrip GeopoliticalArea)	CountriesAndRegions.kif 4234-4234	GazaStrip ist ein fall von GeopoliticalArea %n{nicht}
(instance MiddleEastRegion GeopoliticalArea)	Geography.kif 145-145	MiddleEastRegion ist ein fall von GeopoliticalArea %n{nicht}
(instance Montenegro GeopoliticalArea)	Media.kif 2522-2522	Montenegro ist ein fall von GeopoliticalArea %n{nicht}
(instance PalestinianTerritories GeopoliticalArea)	Media.kif 2570-2570	PalestinianTerritories ist ein fall von GeopoliticalArea %n{nicht}
(instance ParacelIslands GeopoliticalArea)	CountriesAndRegions.kif 4235-4235	ParacelIslands ist ein fall von GeopoliticalArea %n{nicht}
(instance Scotland GeopoliticalArea)	CountriesAndRegions.kif 798-798	Scotland ist ein fall von GeopoliticalArea %n{nicht}
(instance Serbia GeopoliticalArea)	Media.kif 2494-2494	Serbia ist ein fall von GeopoliticalArea %n{nicht}
(instance SpratlyIslands GeopoliticalArea)	CountriesAndRegions.kif 4236-4236	SpratlyIslands ist ein fall von GeopoliticalArea %n{nicht}
(instance SvalbardAndJanMayenIsland GeopoliticalArea)	Media.kif 2584-2584	SvalbardAndJanMayenIsland ist ein fall von GeopoliticalArea %n{nicht}
(instance UnionStatesOfAmerica GeopoliticalArea)	Government.kif 4845-4845	UnionStatesOfAmerica ist ein fall von GeopoliticalArea %n{nicht}
(instance UnitedStatesMinorOutlyingIslands GeopoliticalArea)	Media.kif 2608-2608	UnitedStatesMinorOutlyingIslands ist ein fall von GeopoliticalArea %n{nicht}
(instance WestBank GeopoliticalArea)	CountriesAndRegions.kif 4237-4237	WestBank ist ein fall von GeopoliticalArea %n{nicht}
(instance WesternSahara GeopoliticalArea)	CountriesAndRegions.kif 4238-4238	WesternSahara ist ein fall von GeopoliticalArea %n{nicht}
(subclass City GeopoliticalArea)	Merge.kif 14244-14244	City ist eine teilkategorie von GeopoliticalArea
(subclass CityDistrict GeopoliticalArea)	Mid-level-ontology.kif 8077-8077	CityDistrict ist eine teilkategorie von GeopoliticalArea
(subclass County GeopoliticalArea)	Merge.kif 14251-14251	County ist eine teilkategorie von GeopoliticalArea
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea)	Mid-level-ontology.kif 8017-8017	DependencyOrSpecialSovereigntyArea ist eine teilkategorie von GeopoliticalArea
(subclass IndependentState GeopoliticalArea)	Mid-level-ontology.kif 8009-8009	IndependentState ist eine teilkategorie von GeopoliticalArea
(subclass Nation GeopoliticalArea)	Merge.kif 14223-14223	Nation ist eine teilkategorie von GeopoliticalArea
(subclass OverseasArea GeopoliticalArea)	Government.kif 487-487	OverseasArea ist eine teilkategorie von GeopoliticalArea
(subclass ParliamentaryTerritory GeopoliticalArea)	Government.kif 525-525	ParliamentaryTerritory ist eine teilkategorie von GeopoliticalArea
(subclass PortFacility GeopoliticalArea)	Transportation.kif 938-938	PortFacility ist eine teilkategorie von GeopoliticalArea
(subclass SelfGoverningTerritory GeopoliticalArea)	Government.kif 531-531	SelfGoverningTerritory ist eine teilkategorie von GeopoliticalArea

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain AvailableForMilitaryServiceMaleFn 1 GeopoliticalArea)	Military.kif 865-865	Die Zahl 1 Argument von AvailableForMilitaryServiceMaleFn ist ein fall von GeopoliticalArea %n{nicht}
(domain BirthsPerThousandFn 1 GeopoliticalArea)	People.kif 69-69	Die Zahl 1 Argument von BirthsPerThousandFn ist ein fall von GeopoliticalArea %n{nicht}
(domain CabinetFn 1 GeopoliticalArea)	Government.kif 1527-1527	Die Zahl 1 Argument von CabinetFn ist ein fall von GeopoliticalArea %n{nicht}
(domain ChildrenBornPerWomanFn 1 GeopoliticalArea)	People.kif 441-441	Die Zahl 1 Argument von ChildrenBornPerWomanFn ist ein fall von GeopoliticalArea %n{nicht}
(domain CitizenryFn 1 GeopoliticalArea)	Mid-level-ontology.kif 8039-8039	Die Zahl 1 Argument von CitizenryFn ist ein fall von GeopoliticalArea %n{nicht}
(domain ConstitutionFn 1 GeopoliticalArea)	Government.kif 674-674	Die Zahl 1 Argument von ConstitutionFn ist ein fall von GeopoliticalArea %n{nicht}
(domain DeathsPerThousandFn 1 GeopoliticalArea)	People.kif 102-102	Die Zahl 1 Argument von DeathsPerThousandFn ist ein fall von GeopoliticalArea %n{nicht}
(domain DeathsPerThousandLiveBirthsFn 1 GeopoliticalArea)	People.kif 228-228	Die Zahl 1 Argument von DeathsPerThousandLiveBirthsFn ist ein fall von GeopoliticalArea %n{nicht}
(domain ExclusiveFishingZoneFn 1 GeopoliticalArea)	Geography.kif 1149-1149	Die Zahl 1 Argument von ExclusiveFishingZoneFn ist ein fall von GeopoliticalArea %n{nicht}
(domain ExtendedFishingZoneFn 1 GeopoliticalArea)	Geography.kif 1181-1181	Die Zahl 1 Argument von ExtendedFishingZoneFn ist ein fall von GeopoliticalArea %n{nicht}
(domain FemaleLifeExpectancyAtBirthFn 1 GeopoliticalArea)	People.kif 394-394	Die Zahl 1 Argument von FemaleLifeExpectancyAtBirthFn ist ein fall von GeopoliticalArea %n{nicht}
(domain FitForMilitaryServiceMaleFn 1 GeopoliticalArea)	Military.kif 887-887	Die Zahl 1 Argument von FitForMilitaryServiceMaleFn ist ein fall von GeopoliticalArea %n{nicht}
(domain GovernmentFn 1 GeopoliticalArea)	Merge.kif 16712-16712	Die Zahl 1 Argument von GovernmentFn ist ein fall von GeopoliticalArea %n{nicht}
(domain JudiciaryFn 1 GeopoliticalArea)	Government.kif 2138-2138	Die Zahl 1 Argument von JudiciaryFn ist ein fall von GeopoliticalArea %n{nicht}
(domain LegislatureFn 1 GeopoliticalArea)	Government.kif 2036-2036	Die Zahl 1 Argument von LegislatureFn ist ein fall von GeopoliticalArea %n{nicht}
(domain LifeExpectancyAtBirthFn 1 GeopoliticalArea)	People.kif 297-297	Die Zahl 1 Argument von LifeExpectancyAtBirthFn ist ein fall von GeopoliticalArea %n{nicht}
(domain MaleLifeExpectancyAtBirthFn 1 GeopoliticalArea)	People.kif 346-346	Die Zahl 1 Argument von MaleLifeExpectancyAtBirthFn ist ein fall von GeopoliticalArea %n{nicht}
(domain MaleToFemaleRatioFn 1 GeopoliticalArea)	People.kif 192-192	Die Zahl 1 Argument von MaleToFemaleRatioFn ist ein fall von GeopoliticalArea %n{nicht}
(domain MaritimeContiguousZoneFn 1 GeopoliticalArea)	Geography.kif 1043-1043	Die Zahl 1 Argument von MaritimeContiguousZoneFn ist ein fall von GeopoliticalArea %n{nicht}
(domain MaritimeExclusiveEconomicZoneFn 1 GeopoliticalArea)	Geography.kif 1117-1117	Die Zahl 1 Argument von MaritimeExclusiveEconomicZoneFn ist ein fall von GeopoliticalArea %n{nicht}
(domain MaritimeShelfAreaFn 1 GeopoliticalArea)	Geography.kif 1085-1085	Die Zahl 1 Argument von MaritimeShelfAreaFn ist ein fall von GeopoliticalArea %n{nicht}
(domain MerchantMarineFn 1 GeopoliticalArea)	Transportation.kif 965-965	Die Zahl 1 Argument von MerchantMarineFn ist ein fall von GeopoliticalArea %n{nicht}
(domain MigrantsPerThousandFn 1 GeopoliticalArea)	People.kif 138-138	Die Zahl 1 Argument von MigrantsPerThousandFn ist ein fall von GeopoliticalArea %n{nicht}
(domain OverseasAreaFn 1 GeopoliticalArea)	Government.kif 501-501	Die Zahl 1 Argument von OverseasAreaFn ist ein fall von GeopoliticalArea %n{nicht}
(domain PerCapitaFn 2 GeopoliticalArea)	Mid-level-ontology.kif 8056-8056	Die Zahl 2 Argument von PerCapitaFn ist ein fall von GeopoliticalArea %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (codeMapping ISO-4217-A ?A3 ?CURRENCY) (codeMapping ISO-3166-1-alpha-2 ?A2 ?AREA) (instance ?AREA GeopoliticalArea) (equal ?A2 (SubstringFn ?A3 0 2))) (currencyType ?AREA ?CURRENCY))	Media.kif 2889-2895	Wenn codeMapping ISO-4217-A, SymbolicString and UnitOfCurrency und codeMapping ISO-3166-1-alpha-2, SymbolicString and GeopoliticalArea und GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und SymbolicString ist gleich SubstringFn SymbolicString, 0 and 2 %n{nicht}, dann currencyType GeopoliticalArea and ** UnitOfCurrency
(=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (instance ?AGENT1 Nation) (instance ?AGENT2 GeopoliticalArea)) (exists (?ORG) (and (instance ?ORG ?TYPE) (located ?ORG ?AGENT2) (subOrganization ?ORG (GovernmentFn ?AGENT1)))))	Government.kif 4648-4657	Wenn diplomaticOrganizationType GeopoliticalArea, Organization and AutonomousAgent und GeopoliticalArea ist ein fall von Nation %n{nicht} und AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht}, dann es gibt Organization um Organization ist ein fall von Organization %n{nicht} und Organization befindet sich an %n{nicht} und subOrganization Organization and GovernmentFn GeopoliticalArea
(=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (instance ?AGENT1 Organization) (instance ?AGENT2 GeopoliticalArea)) (exists (?ORG) (and (instance ?ORG ?TYPE) (located ?ORG ?AGENT2) (subOrganization ?ORG ?AGENT1))))	Government.kif 4658-4667	Wenn diplomaticOrganizationType Organization, Organization and AutonomousAgent und Organization ist ein fall von Organization %n{nicht} und AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht}, dann es gibt Organization um Organization ist ein fall von Organization %n{nicht} und Organization befindet sich an %n{nicht} und subOrganization Organization and Organization
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 GeopoliticalArea)) (employs (GovernmentFn ?AGENT1) ?PERSON))	Government.kif 4486-4490	Wenn diplomaticRepresentativeInRole GeopoliticalArea, Human, Position and AutonomousAgent und GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht}, dann GovernmentFn GeopoliticalArea beschaeftigt ** Human %n{nicht}
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Nation) (instance ?ORG DiplomaticOrganization) (subOrganization ?ORG (GovernmentFn ?AGENT1)) (occupiesPosition ?PERSON ?POSITION ?ORG) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?ORG ?AGENT2))	Government.kif 4511-4519	Wenn diplomaticRepresentativeInRole GeopoliticalArea, Human, Position and AutonomousAgent und GeopoliticalArea ist ein fall von Nation %n{nicht} und Organization ist ein fall von DiplomaticOrganization %n{nicht} und subOrganization Organization and GovernmentFn GeopoliticalArea und Human besetzt die position von Position in Organization und AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht}, dann agentOperatesInArea Organization and ** AutonomousAgent
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?AGENT1 ?AGENT2))	Government.kif 4504-4509	Wenn diplomaticRepresentativeInRole AutonomousAgent, Human, Position and AutonomousAgent und AutonomousAgent ist ein fall von Organization %n{nicht} und AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht}, dann agentOperatesInArea AutonomousAgent and ** AutonomousAgent
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?PERSON ?AGENT2))	Government.kif 4498-4502	Wenn diplomaticRepresentativeInRole AutonomousAgent, Human, Position and AutonomousAgent und AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht}, dann agentOperatesInArea Human and AutonomousAgent
(=> (and (executiveBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea) (subOrganization ?ORG ?BRANCH)) (subOrganization ?ORG (GovernmentFn ?AREA)))	Government.kif 1313-1318	Wenn executiveBranch Organization and GeopoliticalArea und GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und subOrganization Organization and Organization, dann subOrganization Organization and GovernmentFn GeopoliticalArea
(=> (and (executiveBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea)) (instance ?BRANCH GovernmentOrganization))	Government.kif 1295-1299	Wenn executiveBranch Organization and AutonomousAgent und AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht}, dann Organization ist ein fall von GovernmentOrganization %n{nicht}
(=> (and (executiveBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea)) (subOrganization ?BRANCH (GovernmentFn ?AREA)))	Government.kif 1307-1311	Wenn executiveBranch Organization and GeopoliticalArea und GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht}, dann subOrganization Organization and GovernmentFn ** GeopoliticalArea
(=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT GeopoliticalArea)) (instance (GovernmentFn ?AGENT) ReligiousOrganization))	Government.kif 352-357	Wenn governmentType GeopoliticalArea and FormOfGovernment und FormOfGovernment ist ein teilattribut von TheocraticGovernment und GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht}, dann GovernmentFn ** GeopoliticalArea ist ein fall von ReligiousOrganization %n{nicht}
(=> (and (governmentType ?PLACE ?TYPE) (instance ?PLACE GeopoliticalArea) (subAttribute ?TYPE ParliamentaryGovernment)) (exists (?ORG) (and (instance ?ORG Parliament) (subOrganization ?ORG (GovernmentFn ?PLACE)))))	Government.kif 256-264	Wenn governmentType GeopoliticalArea and FormOfGovernment und GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und FormOfGovernment ist ein teilattribut von ParliamentaryGovernment, dann es gibt Organization um Organization ist ein fall von Parliament %n{nicht} und subOrganization Organization and GovernmentFn ** GeopoliticalArea
(=> (and (governmentType ?PLACE AbsoluteMonarchy) (instance ?PLACE GeopoliticalArea)) (leaderPosition ?PLACE Monarch))	Government.kif 242-246	Wenn governmentType AutonomousAgent and AbsoluteMonarchy und AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht}, dann leaderPosition AutonomousAgent and Monarch
(=> (and (instance (ExecutiveBranchFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (executiveBranch (ExecutiveBranchFn ?AREA) (GovernmentFn ?AREA)))	Government.kif 1336-1340	Wenn ExecutiveBranchFn GeopoliticalArea ist ein fall von Organization %n{nicht} und GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht}, dann executiveBranch ExecutiveBranchFn GeopoliticalArea and GovernmentFn ** GeopoliticalArea
(=> (and (instance (JudiciaryFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (judicialBranch (JudiciaryFn ?AREA) (GovernmentFn ?AREA)))	Government.kif 2155-2159	Wenn JudiciaryFn GeopoliticalArea ist ein fall von Organization %n{nicht} und GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht}, dann judicialBranch JudiciaryFn GeopoliticalArea and GovernmentFn ** GeopoliticalArea
(=> (and (instance (LegislatureFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (legislativeBranch (LegislatureFn ?AREA) (GovernmentFn ?AREA)))	Government.kif 2050-2054	Wenn LegislatureFn GeopoliticalArea ist ein fall von Organization %n{nicht} und GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht}, dann legislativeBranch LegislatureFn GeopoliticalArea and GovernmentFn ** GeopoliticalArea
(=> (and (instance ?AREA GeopoliticalArea) (equal ?CITIZENRY (CardinalityFn (CitizenryFn ?AREA))) (equal ?POPULATION (CardinalityFn (ResidentFn ?AREA)))) (greaterThanOrEqualTo ?POPULATION ?CITIZENRY))	Mid-level-ontology.kif 8045-8052	Wenn GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und Integer ist gleich die Zahl Faellen in CitizenryFn GeopoliticalArea %n{nicht} und Integer ist gleich die Zahl Faellen in ResidentFn GeopoliticalArea %n{nicht}, dann Integer ist groesserAlsOderGleich Integer %n{nicht}
(=> (and (instance ?AREA GeopoliticalArea) (governmentType ?AREA ?TYPE)) (attribute (GovernmentFn ?AREA) ?TYPE))	Government.kif 142-146	Wenn GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und governmentType GeopoliticalArea and FormOfGovernment, dann FormOfGovernment ist ein attribut von GovernmentFn ** GeopoliticalArea %n{nicht}
(=> (and (instance ?AREA GeopoliticalArea) (instance (ExclusiveFishingZoneFn ?AREA) ExclusiveFishingZone)) (claimedTerritory (ExclusiveFishingZoneFn ?AREA) ?AREA))	Geography.kif 1157-1161	Wenn GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und ExclusiveFishingZoneFn GeopoliticalArea ist ein fall von ExclusiveFishingZone %n{nicht}, dann claimedTerritory ExclusiveFishingZoneFn GeopoliticalArea and ** GeopoliticalArea
(=> (and (instance ?AREA GeopoliticalArea) (instance (ExtendedFishingZoneFn ?AREA) ExtendedFishingZone)) (claimedTerritory (ExtendedFishingZoneFn ?AREA) ?AREA))	Geography.kif 1189-1193	Wenn GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und ExtendedFishingZoneFn GeopoliticalArea ist ein fall von ExtendedFishingZone %n{nicht}, dann claimedTerritory ExtendedFishingZoneFn GeopoliticalArea and ** GeopoliticalArea
(=> (and (instance ?AREA GeopoliticalArea) (instance (GovernmentFn ?AREA) NationalGovernment)) (instance ?AREA Nation))	Government.kif 121-125	Wenn GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und GovernmentFn GeopoliticalArea ist ein fall von NationalGovernment %n{nicht}, dann GeopoliticalArea ist ein fall von Nation %n{nicht}
(=> (and (instance ?AREA GeopoliticalArea) (instance (MaritimeContiguousZoneFn ?AREA) MaritimeContiguousZone)) (claimedTerritory (MaritimeContiguousZoneFn ?AREA) ?AREA))	Geography.kif 1050-1054	Wenn GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und MaritimeContiguousZoneFn GeopoliticalArea ist ein fall von MaritimeContiguousZone %n{nicht}, dann claimedTerritory MaritimeContiguousZoneFn GeopoliticalArea and ** GeopoliticalArea
(=> (and (instance ?AREA GeopoliticalArea) (instance (MaritimeExclusiveEconomicZoneFn ?AREA) MaritimeExclusiveEconomicZone)) (claimedTerritory (MaritimeExclusiveEconomicZoneFn ?AREA) ?AREA))	Geography.kif 1125-1129	Wenn GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und MaritimeExclusiveEconomicZoneFn GeopoliticalArea ist ein fall von MaritimeExclusiveEconomicZone %n{nicht}, dann claimedTerritory MaritimeExclusiveEconomicZoneFn GeopoliticalArea and ** GeopoliticalArea
(=> (and (instance ?AREA GeopoliticalArea) (instance (MaritimeShelfAreaFn ?AREA) MaritimeShelfArea)) (claimedTerritory (MaritimeShelfAreaFn ?AREA) ?AREA))	Geography.kif 1092-1096	Wenn GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und MaritimeShelfAreaFn GeopoliticalArea ist ein fall von MaritimeShelfArea %n{nicht}, dann claimedTerritory MaritimeShelfAreaFn GeopoliticalArea and ** GeopoliticalArea
(=> (and (instance ?AREA GeopoliticalArea) (instance (MerchantMarineFn ?AREA) MerchantMarine)) (possesses ?AREA (MerchantMarineFn ?AREA)))	Transportation.kif 978-982	Wenn GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und MerchantMarineFn GeopoliticalArea ist ein fall von MerchantMarine %n{nicht}, dann GeopoliticalArea besitzt MerchantMarineFn ** GeopoliticalArea %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(=> (and (attribute ?X DutyFree) (instance ?X Store)) (exists (?AREA ?OBJ ?O ?SELL) (and (instance ?AREA GeopoliticalArea) (located ?X ?AREA) (subclass ?O Object) (importCommodityType ?AREA ?O) (instance ?OBJ ?O) (instance ?SELL Selling) (patient ?SELL ?OBJ) (located ?SELL ?X))))	Hotel.kif 1478-1491	Wenn DutyFree ist ein attribut von Object %n{nicht} und Object ist ein fall von Store %n{nicht}, dann es gibt GeopoliticalArea, Entity,, , Object, and und Process um GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und Object befindet sich an %n{nicht} und Object ist eine teilkategorie von Object und importCommodityType GeopoliticalArea and Object und Entity ist ein fall von Object %n{nicht} und Process ist ein fall von Selling %n{nicht} und Entity ist ein patient von Process %n{nicht} und ** Process befindet sich an %n{nicht}
(=> (and (holdsDuring ?T1 (and (attribute ?PERSON DislocatedCivilian) (inhabits ?PERSON ?RESIDENCE) (located ?RESIDENCE ?PLACE))) (instance ?PLACE GeographicArea) (instance ?T1 TimeInterval)) (exists (?T0 ?PRIOR-PLACE ?PRIOR-RES) (and (instance ?T0 TimeInterval) (earlier ?T0 ?T1) (instance ?PRIOR-RES Object) (instance ?PRIOR-PLACE GeopoliticalArea) (located ?PRIOR-RES ?PRIOR-PLACE) (not (equal ?PLACE ?PRIOR-PLACE)) (not (equal ?RESIDENCE ?PRIOR-RES)) (not (geographicSubregion ?PLACE ?PRIOR-PLACE)) (not (geographicSubregion ?PRIOR-PLACE ?PLACE)) (holdsDuring ?T0 (inhabits ?PERSON ?PRIOR-RES)))))	MilitaryPersons.kif 26-47	Wenn DislocatedCivilian ist ein attribut von entity %n{nicht} und entity wohnt in entity und entity befindet sich an %n{nicht} haelt waehrend TimeInterval %n{nicht} und GeographicArea ist ein fall von GeographicArea %n{nicht} und TimeInterval ist ein fall von TimeInterval %n{nicht}, dann es gibt TimeInterval, entity-PLACE, and und entity-RES um TimeInterval ist ein fall von TimeInterval %n{nicht} und TimeInterval geschieht frueh als TimeInterval %n{nicht} und entity-RES ist ein fall von Object %n{nicht} und entity-PLACE ist ein fall von GeopoliticalArea %n{nicht} und entity-RES befindet sich an %n{nicht} und GeographicArea ist gleich entity-PLACE nicht und entity ist gleich entity-RES nicht und geographicSubregion GeographicArea and entity-PLACE und geographicSubregion entity-PLACE and GeographicArea und entity wohnt in entity-RES haelt waehrend TimeInterval %n{nicht}
(=> (and (instance ?AGENT AutonomousAgent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 1692-1698	Wenn AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und ElectionFn AutonomousAgent ist eine teilkategorie von Election, dann AutonomousAgent ist ein fall von Organization %n{nicht} oder ** AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht}
(=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA1 GeopoliticalArea) (holdsDuring (BeginFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA1))) (exists (?AREA2) (and (instance ?AREA2 GeopoliticalArea) (not (geopoliticalSubdivision ?AREA1 ?AREA2)) (not (geopoliticalSubdivision ?AREA2 ?AREA1)) (holdsDuring (EndFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA2)))))	Economy.kif 2432-2445	Wenn Process ist ein fall von Exporting %n{nicht} und Entity ist ein patient von Process %n{nicht} und GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und Entity befindet sich an %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht}, dann es gibt GeopoliticalArea um GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und geopoliticalSubdivision GeopoliticalArea and GeopoliticalArea und geopoliticalSubdivision GeopoliticalArea and GeopoliticalArea und Entity befindet sich an %n{nicht} haelt waehrend das ende von die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?R PoliticalRevolution) (patient ?R ?A)) (instance ?A GeopoliticalArea))	Mid-level-ontology.kif 13882-13886	Wenn Process ist ein fall von PoliticalRevolution %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Entity ist ein fall von GeopoliticalArea %n{nicht}
(=> (and (instance ?REL EconomicRelation) (domain ?REL 1 ?CLASS)) (subclass ?CLASS GeopoliticalArea))	Mid-level-ontology.kif 16905-16909	Wenn Relation ist ein fall von EconomicRelation %n{nicht} und die Zahl 1 Argument von Relation ist ein fall von Class %n{nicht}, dann Class ist eine teilkategorie von GeopoliticalArea
(=> (and (instance ?TRANS Buying) (attribute ?TRANS CBT) (patient ?TRANS ?OBJ) (instance ?OBJ Object)) (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION) (and (instance ?BUYER AutonomousAgent) (instance ?SELLER AutonomousAgent) (agent ?TRANS ?BUYER) (origin ?TRANS ?SELLER) (instance ?BUYER_LOCATION GeopoliticalArea) (instance ?SELLER_LOCATION GeopoliticalArea) (located ?SELLER ?SELLER_LOCATION) (located ?BUYER ?BUYER_LOCATION) (not (equal ?BUYER_LOCATION ?SELLER_LOCATION)))))	UXExperimentalTerms.kif 1841-1858	Wenn Object ist ein fall von Buying %n{nicht} und CBT ist ein attribut von Object %n{nicht} und Entity ist ein patient von Object %n{nicht} und Entity ist ein fall von Object %n{nicht}, dann es gibt Object, AutonomousAgent,, , AutonomousAgent_LOCATION, and und Object_LOCATION um AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und Object ist ein fall von AutonomousAgent %n{nicht} und Object ist der agent von AutonomousAgent %n{nicht} und Object beginnet an Object %n{nicht} und AutonomousAgent_LOCATION ist ein fall von GeopoliticalArea %n{nicht} und Object_LOCATION ist ein fall von GeopoliticalArea %n{nicht} und Object befindet sich an %n{nicht} und AutonomousAgent befindet sich an %n{nicht} und AutonomousAgent_LOCATION ist gleich Object_LOCATION nicht
(=> (and (instance ?TRANS Selling) (attribute ?TRANS CBT) (patient ?TRANS ?OBJ) (instance ?OBJ Object)) (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION) (and (instance ?BUYER AutonomousAgent) (instance ?SELLER AutonomousAgent) (destination ?TRANS ?BUYER) (agent ?TRANS ?SELLER) (instance ?BUYER_LOCATION GeopoliticalArea) (instance ?SELLER_LOCATION GeopoliticalArea) (located ?SELLER ?SELLER_LOCATION) (located ?BUYER ?BUYER_LOCATION) (not (equal ?BUYER_LOCATION ?SELLER_LOCATION)))))	UXExperimentalTerms.kif 1822-1839	Wenn Object ist ein fall von Selling %n{nicht} und CBT ist ein attribut von Object %n{nicht} und Entity ist ein patient von Object %n{nicht} und Entity ist ein fall von Object %n{nicht}, dann es gibt AutonomousAgent, Physical,, , Physical_LOCATION, and und AutonomousAgent_LOCATION um Physical ist ein fall von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und Object endet an Physical %n{nicht} und Object ist der agent von AutonomousAgent %n{nicht} und Physical_LOCATION ist ein fall von GeopoliticalArea %n{nicht} und AutonomousAgent_LOCATION ist ein fall von GeopoliticalArea %n{nicht} und AutonomousAgent befindet sich an %n{nicht} und Physical befindet sich an %n{nicht} und Physical_LOCATION ist gleich ** AutonomousAgent_LOCATION nicht
(=> (and (instance ?WAR War) (agent ?WAR ?AGENT)) (or (instance ?AGENT GeopoliticalArea) (and (instance ?AGENT Organization) (forall (?MEMBER) (=> (member ?MEMBER ?AGENT) (instance ?MEMBER GeopoliticalArea))))))	Merge.kif 13338-13349	Wenn Process ist ein fall von War %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht} oder AutonomousAgent ist ein fall von Organization %n{nicht} und fuer alle Physical wenn Physical ist ein Mitglied von AutonomousAgent %n{nicht}, dann Physical ist ein fall von GeopoliticalArea %n{nicht}
(=> (and (member ?AGENT InternationalCourtOfJustice) (attribute ?AGENT JudgeAtLaw)) (exists (?POLITY) (and (instance ?POLITY GeopoliticalArea) (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))	Government.kif 3466-3473	Wenn AutonomousAgent ist ein Mitglied von InternationalCourtOfJustice %n{nicht} und JudgeAtLaw ist ein attribut von AutonomousAgent %n{nicht}, dann es gibt AutonomousAgent um AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht} und representativeAgentToAgent AutonomousAgent, ** AutonomousAgent and InternationalCourtOfJustice
(=> (attribute ?PERSON Monarch) (exists (?PLACE) (and (instance ?PLACE GeopoliticalArea) (governmentType ?PLACE Monarchy) (chiefOfState ?PLACE Monarch ?PERSON))))	Government.kif 1363-1369	Wenn Monarch ist ein attribut von Human %n{nicht}, dann es gibt GeopoliticalArea um GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und governmentType GeopoliticalArea and Monarchy und chiefOfState GeopoliticalArea, Monarch and Human
(=> (economyType ?AGENT ?ATTRIBUTE) (or (instance ?AGENT GeopoliticalArea) (instance ?AGENT Organization)))	Economy.kif 91-95	Wenn economyType AutonomousAgent and EconomicAttribute, dann AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht} oder AutonomousAgent ist ein fall von Organization %n{nicht}
(=> (equal ?FY (FiscalYearFn ?PLACE)) (or (instance ?PLACE GeopoliticalArea) (instance ?PLACE Organization)))	Economy.kif 3704-3708	Wenn TimeInterval ist gleich FiscalYearFn AutonomousAgent %n{nicht}, dann AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht} oder ** AutonomousAgent ist ein fall von Organization %n{nicht}
(=> (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (or (instance ?PLACE GeopoliticalArea) (instance ?PLACE Organization)))	Economy.kif 3732-3736	Wenn TimeInterval ist gleich FiscalYearStartingFn AutonomousAgent and Year %n{nicht}, dann AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht} oder ** AutonomousAgent ist ein fall von Organization %n{nicht}
(=> (executiveBranch ?BRANCH ?AGENT) (or (instance ?BRANCH GeopoliticalArea) (instance ?BRANCH Organization)))	Government.kif 1289-1293	Wenn executiveBranch Organization and AutonomousAgent, dann Organization ist ein fall von GeopoliticalArea %n{nicht} oder Organization ist ein fall von Organization %n{nicht}
(=> (governmentType ?AGENT ?TYPE) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 136-140	Wenn governmentType AutonomousAgent and FormOfGovernment, dann AutonomousAgent ist ein fall von Organization %n{nicht} oder AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht}
(=> (instance ?C Coronation) (exists (?PERSON ?PLACE) (and (instance ?PERSON Human) (patient ?C ?PERSON) (instance ?PLACE GeopoliticalArea) (holdsDuring (BeginFn (WhenFn ?C)) (not (chiefOfState ?PLACE Monarch ?PERSON))) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (chiefOfState ?PLACE Monarch ?PERSON)))))	Government.kif 1375-1390	Wenn Process ist ein fall von Coronation %n{nicht}, dann es gibt Entity und Entity um Entity ist ein fall von Human %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von GeopoliticalArea %n{nicht} und chiefOfState Entity, Monarch and Entity haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht} und chiefOfState Entity, Monarch and Entity haelt waehrend sofort nach die zeit des Bestehens von Process %n{nicht}
(=> (instance ?GXT GlobalCrossFunctionalTeam) (exists (?MEMBER1 ?MEMBER1_LOC ?MEMBER2 ?MEMBER2_LOC) (and (instance ?MEMBER1 Human) (instance ?MEMBER2 Human) (instance ?MEMBER1_LOC GeopoliticalArea) (instance ?MEMBER2_LOC GeopoliticalArea) (member ?MEMBER1 ?GXT) (member ?MEMBER2 ?GXT) (located ?MEMBER1 ?MEMBER1_LOC) (located ?MEMBER2 ?MEMBER2_LOC) (not (equal ?MEMBER1_LOC ?MEMBER2_LOC)))))	UXExperimentalTerms.kif 2728-2741	Wenn Collection ist ein fall von GlobalCrossFunctionalTeam %n{nicht}, dann es gibt Physical, Physical_LOC,, , Physical, and und Physical_LOC um Physical ist ein fall von Human %n{nicht} und Physical ist ein fall von Human %n{nicht} und Physical_LOC ist ein fall von GeopoliticalArea %n{nicht} und Physical_LOC ist ein fall von GeopoliticalArea %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und Physical befindet sich an %n{nicht} und Physical befindet sich an %n{nicht} und Physical_LOC ist gleich ** Physical_LOC nicht
(=> (instance ?MILITARY MilitaryOrganization) (exists (?AREA) (and (instance ?AREA GeopoliticalArea) (militaryOfArea ?MILITARY ?AREA))))	Military.kif 788-793	Wenn MilitaryOrganization ist ein fall von MilitaryOrganization %n{nicht}, dann es gibt GeopoliticalArea um GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und militaryOfArea MilitaryOrganization and ** GeopoliticalArea
(=> (instance ?TREATY TreatyDocument) (exists (?COMM ?COUNTRY1 ?COUNTRY2) (and (instance ?COMM Committing) (patient ?COMM ?TREATY) (instance ?COUNTRY1 GeopoliticalArea) (agent ?COMM ?COUNTRY1) (instance ?COUNTRY2 GeopoliticalArea) (agent ?COMM ?COUNTRY2) (not (equal ?COUNTRY1 ?COUNTRY2)))))	Geography.kif 3039-3049	Wenn Entity ist ein fall von TreatyDocument %n{nicht}, dann es gibt Process, AutonomousAgent, and und AutonomousAgent um Process ist ein fall von Committing %n{nicht} und Entity ist ein patient von Process %n{nicht} und AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und AutonomousAgent ist gleich ** AutonomousAgent nicht
(=> (judicialBranch ?BRANCH ?AGENT) (or (instance ?BRANCH GeopoliticalArea) (instance ?BRANCH Organization)))	Government.kif 2102-2106	Wenn judicialBranch Organization and AutonomousAgent, dann Organization ist ein fall von GeopoliticalArea %n{nicht} oder Organization ist ein fall von Organization %n{nicht}
(=> (legislativeBranch ?ORG ?AGENT) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 2007-2011	Wenn legislativeBranch Organization and AutonomousAgent, dann AutonomousAgent ist ein fall von Organization %n{nicht} oder AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht}
(=> (suffrageAgeMaximum ?AGENT ?AGE) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 1023-1027	Wenn suffrageAgeMaximum AutonomousAgent and TimeDuration, dann AutonomousAgent ist ein fall von Organization %n{nicht} oder AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht}
(=> (suffrageAgeMinimum ?AGENT ?AGE) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 951-955	Wenn suffrageAgeMinimum AutonomousAgent and TimeDuration, dann AutonomousAgent ist ein fall von Organization %n{nicht} oder AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: