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 14114-14117
(subclass GeopoliticalArea AutonomousAgent)	Merge.kif 14113-14113	GeopoliticalArea ist eine teilkategorie von AutonomousAgent
(subclass GeopoliticalArea GeographicArea)	Merge.kif 14112-14112	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 4803-4803	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 4807-4807	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 14303-14303	City ist eine teilkategorie von GeopoliticalArea
(subclass CityDistrict GeopoliticalArea)	Mid-level-ontology.kif 8295-8295	CityDistrict ist eine teilkategorie von GeopoliticalArea
(subclass County GeopoliticalArea)	Merge.kif 14310-14310	County ist eine teilkategorie von GeopoliticalArea
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea)	Mid-level-ontology.kif 8235-8235	DependencyOrSpecialSovereigntyArea ist eine teilkategorie von GeopoliticalArea
(subclass IndependentState GeopoliticalArea)	Mid-level-ontology.kif 8227-8227	IndependentState ist eine teilkategorie von GeopoliticalArea
(subclass Nation GeopoliticalArea)	Merge.kif 14282-14282	Nation ist eine teilkategorie von GeopoliticalArea
(subclass OverseasArea GeopoliticalArea)	Government.kif 451-451	OverseasArea ist eine teilkategorie von GeopoliticalArea
(subclass ParliamentaryTerritory GeopoliticalArea)	Government.kif 489-489	ParliamentaryTerritory ist eine teilkategorie von GeopoliticalArea
(subclass PortFacility GeopoliticalArea)	Transportation.kif 938-938	PortFacility ist eine teilkategorie von GeopoliticalArea
(subclass SelfGoverningTerritory GeopoliticalArea)	Government.kif 495-495	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 856-856	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 1489-1489	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 8257-8257	Die Zahl 1 Argument von CitizenryFn ist ein fall von GeopoliticalArea %n{nicht}
(domain ConstitutionFn 1 GeopoliticalArea)	Government.kif 638-638	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 1143-1143	Die Zahl 1 Argument von ExclusiveFishingZoneFn ist ein fall von GeopoliticalArea %n{nicht}
(domain ExtendedFishingZoneFn 1 GeopoliticalArea)	Geography.kif 1175-1175	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 878-878	Die Zahl 1 Argument von FitForMilitaryServiceMaleFn ist ein fall von GeopoliticalArea %n{nicht}
(domain GovernmentFn 1 GeopoliticalArea)	Merge.kif 16793-16793	Die Zahl 1 Argument von GovernmentFn ist ein fall von GeopoliticalArea %n{nicht}
(domain JudiciaryFn 1 GeopoliticalArea)	Government.kif 2100-2100	Die Zahl 1 Argument von JudiciaryFn ist ein fall von GeopoliticalArea %n{nicht}
(domain LegislatureFn 1 GeopoliticalArea)	Government.kif 1998-1998	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 1037-1037	Die Zahl 1 Argument von MaritimeContiguousZoneFn ist ein fall von GeopoliticalArea %n{nicht}
(domain MaritimeExclusiveEconomicZoneFn 1 GeopoliticalArea)	Geography.kif 1111-1111	Die Zahl 1 Argument von MaritimeExclusiveEconomicZoneFn ist ein fall von GeopoliticalArea %n{nicht}
(domain MaritimeShelfAreaFn 1 GeopoliticalArea)	Geography.kif 1079-1079	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 465-465	Die Zahl 1 Argument von OverseasAreaFn ist ein fall von GeopoliticalArea %n{nicht}
(domain PerCapitaFn 2 GeopoliticalArea)	Mid-level-ontology.kif 8274-8274	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 4610-4619	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 4620-4629	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 4448-4452	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 4473-4481	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 4466-4471	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 4460-4464	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 1275-1280	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 1257-1261	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 1269-1273	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 1298-1302	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 2117-2121	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 2012-2016	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 8263-8270	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 1151-1155	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 1183-1187	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 1044-1048	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 1119-1123	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 1086-1090	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 1654-1660	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 2547-2560	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 14132-14136	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 17155-17159	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 13398-13409	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 3428-3435	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 1325-1331	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 3819-3823	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 3847-3851	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 1251-1255	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 1337-1352	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 779-784	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 3027-3037	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 2064-2068	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 1969-1973	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 985-989	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 913-917	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: