Nation
|
|
appearance as argument number 1 |
(disjoint Nation Continent) | Geography.kif 3519-3519 | Nation ist dijunkt von Continent %n{nicht} |
(documentation Nation ChineseLanguage "这是最辽阔的 GeopoliticalArea,也就是说 Nation 是 不属于任何总体和综合管制架构一部分的 GeopoliticalArea (英联邦和其他各种宽松的国际组织除外)。") | chinese_format.kif 3346-3347 | |
(documentation Nation EnglishLanguage "The broadest GeopoliticalArea, i.e. Nations are GeopoliticalAreas that are not part of any other overarching and comprehensive governance structure (excepting commonwealths and other sorts of loose international organizations).") | Merge.kif 14271-14274 | |
(externalImage Nation "http://upload.wikimedia.org/wikipedia/commons/7/78/ Developed_nation.png") | pictureList.kif 3358-3358 | |
(subclass Nation GeopoliticalArea) | Merge.kif 14269-14269 | Nation ist eine teilkategorie von GeopoliticalArea |
(subclass Nation LandArea) | Merge.kif 14270-14270 | Nation ist eine teilkategorie von LandArea |
appearance as argument number 2 |
(instance Afghanistan Nation) | CountriesAndRegions.kif 568-568 | Afghanistan ist ein fall von Nation %n{nicht} |
(instance Albania Nation) | CountriesAndRegions.kif 371-371 | Albania ist ein fall von Nation %n{nicht} |
(instance Algeria Nation) | CountriesAndRegions.kif 117-117 | Algeria ist ein fall von Nation %n{nicht} |
(instance Angola Nation) | CountriesAndRegions.kif 153-153 | Angola ist ein fall von Nation %n{nicht} |
(instance AntiguaAndBarbuda Nation) | CountriesAndRegions.kif 429-429 | AntiguaAndBarbuda ist ein fall von Nation %n{nicht} |
(instance Argentina Nation) | CountriesAndRegions.kif 514-514 | Argentina ist ein fall von Nation %n{nicht} |
(instance Armenia Nation) | CountriesAndRegions.kif 631-631 | Armenia ist ein fall von Nation %n{nicht} |
(instance Australia Nation) | CountriesAndRegions.kif 661-661 | Australia ist ein fall von Nation %n{nicht} |
(instance Austria Nation) | CountriesAndRegions.kif 276-276 | Austria ist ein fall von Nation %n{nicht} |
(instance Azerbaijan Nation) | CountriesAndRegions.kif 633-633 | Azerbaijan ist ein fall von Nation %n{nicht} |
(instance Bahrain Nation) | CountriesAndRegions.kif 241-241 | Bahrain ist ein fall von Nation %n{nicht} |
(instance Bangladesh Nation) | CountriesAndRegions.kif 570-570 | Bangladesh ist ein fall von Nation %n{nicht} |
(instance Barbados Nation) | CountriesAndRegions.kif 434-434 | Barbados ist ein fall von Nation %n{nicht} |
(instance Belarus Nation) | CountriesAndRegions.kif 297-297 | Belarus ist ein fall von Nation %n{nicht} |
(instance Belize Nation) | CountriesAndRegions.kif 472-472 | Belize ist ein fall von Nation %n{nicht} |
(instance Benin Nation) | CountriesAndRegions.kif 192-192 | Benin ist ein fall von Nation %n{nicht} |
(instance Bhutan Nation) | CountriesAndRegions.kif 572-572 | Bhutan ist ein fall von Nation %n{nicht} |
(instance Bolivia Nation) | CountriesAndRegions.kif 496-496 | Bolivia ist ein fall von Nation %n{nicht} |
(instance BosniaAndHerzegovina Nation) | CountriesAndRegions.kif 373-373 | BosniaAndHerzegovina ist ein fall von Nation %n{nicht} |
(instance Botswana Nation) | CountriesAndRegions.kif 156-156 | Botswana ist ein fall von Nation %n{nicht} |
(instance Brazil Nation) | CountriesAndRegions.kif 501-501 | Brazil ist ein fall von Nation %n{nicht} |
(instance Brunei Nation) | CountriesAndRegions.kif 600-600 | Brunei ist ein fall von Nation %n{nicht} |
(instance Bulgaria Nation) | CountriesAndRegions.kif 375-375 | Bulgaria ist ein fall von Nation %n{nicht} |
(instance BurkinaFaso Nation) | CountriesAndRegions.kif 194-194 | BurkinaFaso ist ein fall von Nation %n{nicht} |
(instance Burundi Nation) | CountriesAndRegions.kif 86-86 | Burundi ist ein fall von Nation %n{nicht} |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
(domain NationalAnthemFn 1 Nation) | Music.kif 954-954 | Die Zahl 1 Argument von NationalAnthemFn ist ein fall von Nation %n{nicht} |
(domain StreetAddressFn 4 Nation) | Mid-level-ontology.kif 6704-6704 | Die Zahl 4 Argument von StreetAddressFn ist ein fall von Nation %n{nicht} |
(domain citizen 2 Nation) | Merge.kif 16824-16824 | Die Zahl 2 Argument von citizen ist ein fall von Nation %n{nicht} |
(domain inflationRateInCountry 1 Nation) | FinancialOntology.kif 1676-1676 | Die Zahl 1 Argument von inflationRateInCountry ist ein fall von Nation %n{nicht} |
antecedent |
consequent |
(=> (and (holdsDuring ?T1 (and (attribute ?P Expellee) (citizen ?P ?HOME-NATION))) (instance ?T1 TimeInterval)) (exists (?TRANS ?NATION) (and (instance ?NATION Nation) (not (equal ?NATION ?HOME-NATION)) (instance ?TRANS Translocation) (origin ?TRANS ?NATION) (patient ?TRANS ?P) (destination ?TRANS ?HOME-NATION) (temporalPart ?T1 (WhenFn ?TRANS))))) |
MilitaryPersons.kif 151-167 |
|
(=> (and (instance ?AGREEMENT InternationalAgreement) (instance ?COMMITTING Committing) (represents ?COMMITTING ?AGREEMENT)) (exists (?AGENT) (and (agent ?COMMITTING ?AGENT) (instance ?AGENT Nation)))) |
Geography.kif 3001-3009 |
|
(=> (and (instance ?AREA GeopoliticalArea) (instance (GovernmentFn ?AREA) NationalGovernment)) (instance ?AREA Nation)) |
Government.kif 121-125 |
|
(=> (and (instance ?I Immigrating) (agent ?I ?A)) (exists (?N1 ?N2) (and (instance ?N1 Nation) (instance ?N2 Nation) (origin ?I ?N1) (destination ?I ?N2) (not (equal ?N1 ?N2)) (member ?A (CitizenryFn ?N1)) (not (member ?A (CitizenryFn ?N2))) (hasPurpose ?I (inhabits ?A ?N2))))) |
Mid-level-ontology.kif 17379-17395 |
|
(=> (and (instance ?INTERNAL InternalShipRegister) (possesses ?AREA ?INTERNAL)) (instance ?AREA Nation)) |
Transportation.kif 1176-1180 |
|
(=> (and (instance ?NATIONAL NationalShipRegister) (possesses ?AREA ?NATIONAL)) (instance ?AREA Nation)) |
Transportation.kif 1126-1130 |
|
(=> (and (instance ?OFFSHORE OffshoreShipRegister) (possesses ?AREA ?OFFSHORE)) (instance ?AREA Nation)) |
Transportation.kif 1192-1196 |
|
(=> (and (instance ?ORG OrganizationOfNations) (member ?MEM ?ORG)) (instance ?MEM Nation)) |
Government.kif 2495-2499 |
|
(=> (and (instance ?P Passport) (possesses ?A ?P)) (confersNorm ?P (exists (?T ?N1 ?N2) (and (instance ?T Translocation) (agent ?T ?A) (origin ?T ?N1) (destination ?T ?N2) (instance ?N1 Nation) (instance ?N2 Nation) (not (equal ?N1 ?N2)))) Permission)) |
Mid-level-ontology.kif 16588-16602 |
|
(=> (and (instance ?X DutyTax) (refers ?X ?OBJ) (patient ?X ?OBJ)) (exists (?T ?N1 ?N2) (and (instance ?T Transfer) (patient ?T ?OBJ) (origin ?T ?N1) (destination ?T ?N2) (instance ?N1 Nation) (instance ?N2 Nation) (not (equal ?N1 ?N2)) (earlier (WhenFn ?T) (WhenFn ?X)) (causes ?T ?X)))) |
FinancialOntology.kif 949-964 |
|
(=> (and (instance ?X TelephoneCommunication) (attribute ?X Domestic)) (exists (?ORIGIN ?DEST ?COUNTRY) (and (origin ?X ?ORIGIN) (destination ?X ?DEST) (located ?ORIGIN ?COUNTRY) (located ?DEST ?COUNTRY) (instance ?COUNTRY Nation)))) |
Mid-level-ontology.kif 27158-27168 |
|
(=> (and (instance ?X TelephoneCommunication) (attribute ?X International)) (exists (?ORIGIN ?DEST ?CTRY1 ?CTRY2) (and (origin ?X ?ORIGIN) (destination ?X ?DEST) (located ?ORIGIN ?CTRY1) (located ?DEST ?CTRY2) (instance ?CTRY1 Nation) (instance ?CTRY2 Nation) (not (equal ?CTRY1 ?CTRY2))))) |
Mid-level-ontology.kif 27175-27187 |
|
(=> (attribute ?U ExpeditionaryForce) (hasPurpose ?U (exists (?B ?C ?FC) (and (subOrganization ?U (GovernmentFn ?C)) (instance ?B Battle) (agent ?B ?U) (instance ?FC Nation) (located ?B ?FC) (not (equal ?C ?FC)))))) |
MilitaryPersons.kif 712-724 |
|
(=> (instance ?AREA OverseasArea) (exists (?COUNTRY) (and (instance ?COUNTRY Nation) (dependentGeopoliticalArea ?AREA ?COUNTRY)))) |
Government.kif 457-462 |
|
(=> (instance ?D InternationalDispute) (exists (?AG1 ?AG2) (and (instance ?AG1 Nation) (instance ?AG2 Nation) (not (equal ?AG1 ?AG2)) (agent ?D ?AG1) (agent ?D ?AG2)))) |
TransnationalIssues.kif 32-41 |
|
(=> (instance ?E Pandemic) (exists (?H1 ?H2 ?N1 ?N2 ?C1 ?C2) (and (involvedInEvent ?E ?H1) (involvedInEvent ?E ?H2) (not (equal ?H1 ?H2)) (instance ?N1 Nation) (instance ?N2 Nation) (not (equal ?N1 ?N2)) (instance ?C1 Continent) (instance ?C2 Continent) (not (equal ?C1 ?C2)) (holdsDuring (WhenFn ?E) (or (and (located ?H1 ?C1) (located ?H2 ?C2)) (and (located ?H1 ?N1) (located ?H2 ?N2))))))) |
Medicine.kif 3537-3561 |
|
(=> (instance ?F NationalFlag) (exists (?N) (and (instance ?N Nation) (refers ?F ?N)))) |
Mid-level-ontology.kif 13293-13298 |
|
(=> (instance ?HN HostNation) (exists (?GETTING ?FORCES ?OTHERNATION ?MILITARY) (and (instance ?OTHERNATION Nation) (instance ?MILITARY MilitaryForce) (militaryOfArea ?MILITARY ?OTHERNATION) (subOrganization ?FORCES ?MILITARY) (not (equal ?HN ?OTHERNATION)) (not (enemy ?HN ?OTHERNATION)) (instance ?GETTING Getting) (agent ?GETTING ?HN) (patient ?GETTING ?FORCES) (instance ?FORCES MilitaryForce) (located ?FORCES ?HN)))) |
MilitaryProcesses.kif 1357-1373 |
|
(=> (instance ?ORG InternationalOrganization) (exists (?COUNTRY1 ?COUNTRY2) (and (instance ?COUNTRY1 Nation) (instance ?COUNTRY2 Nation) (agentOperatesInArea ?ORG ?COUNTRY1) (agentOperatesInArea ?ORG ?COUNTRY2) (not (equal ?COUNTRY1 ?COUNTRY2))))) |
Government.kif 2480-2488 |
|
(=> (instance ?PUB MultinationalDoctrine) (exists (?NATION1 ?NATION2) (and (agent ?PUB ?NATION1) (agent ?PUB ?NATION2) (instance ?NATION1 Nation) (instance ?NATION2 Nation) (not (equal ?NATION1 ?NATION2))))) |
MilitaryProcesses.kif 1006-1015 |
|
(=> (instance ?STATE StateOrProvince) (exists (?LAND) (and (instance ?LAND Nation) (properPart ?STATE ?LAND)))) |
Merge.kif 14283-14288 |
|
(=> (instance ?WAR CivilWar) (exists (?NATION) (and (instance ?NATION Nation) (forall (?AGENT) (=> (contestParticipant ?WAR ?AGENT) (geopoliticalSubdivision ?AGENT ?NATION)))))) |
Mid-level-ontology.kif 19719-19727 |
|
(=> (instance ?X EmbassyBuilding) (exists (?EGOV ?OTHERGOV) (and (instance ?EGOV Nation) (instance ?OTHERGOV Nation) (not (equal ?EGOV ?OTHERGOV)) (possesses ?EGOV ?X) (located ?X ?OTHERGOV)))) |
Mid-level-ontology.kif 22431-22440 |
|
(=> (postCountry ?PLACE ?COUNTRY) (or (instance ?COUNTRY Nation) (instance ?COUNTRY DependencyOrSpecialSovereigntyArea))) |
Mid-level-ontology.kif 24764-24768 |
|
(=> (property ?T Treaty) (exists (?N1 ?N2) (and (partyToAgreement ?T ?N1) (partyToAgreement ?T ?N2) (instance ?N1 Nation) (instance ?N2 Nation) (not (equal ?N1 ?N2))))) |
Mid-level-ontology.kif 14247-14256 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
(containsInformation (forall (?COUNTRY ?ELECTION ?VOTING ?VOTER) (=> (and (instance ?COUNTRY Nation) (instance ?ELECTION (ElectionFn ?COUNTRY)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (citizen ?VOTER ?COUNTRY))) VoterCitizenshipRequirement) |
Government.kif 887-895 | Fuer alle ?COUNTRY, ?ELECTION,, , ?VOTING, and und ?VOTER
|