|
|
   Nation
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint Nation Continent) | Geography.kif 3507-3507 | 国家 和 % 2 是 disjoint |
| (documentation Nation ChineseLanguage "这是最辽阔的 GeopoliticalArea，也就是说 Nation 是 不属于任何总体和综合管制架构一部分的 GeopoliticalArea (英联邦和其他各种宽松的国际组织除外)。") | chinese_format.kif 3346-3347 | 国家 和 % 2 是 disjoint |
| (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 14284-14287 | 国家 和 % 2 是 disjoint |
| (externalImage Nation "http://upload.wikimedia.org/wikipedia/commons/7/78/ Developed_nation.png") | pictureList.kif 3357-3357 | 国家 和 % 2 是 disjoint |
| (subclass Nation GeopoliticalArea) | Merge.kif 14282-14282 | 国家 是 地缘政治区域 的 subclass |
| (subclass Nation LandArea) | Merge.kif 14283-14283 | 国家 是 土地面积 的 subclass |
| appearance as argument number 2 |
|
|
| (instance Afghanistan Nation) | CountriesAndRegions.kif 568-568 | 阿富汗 是 国家 的 instance |
| (instance Albania Nation) | CountriesAndRegions.kif 371-371 | 阿尔巴尼亚 是 国家 的 instance |
| (instance Algeria Nation) | CountriesAndRegions.kif 117-117 | 阿尔及利亚 是 国家 的 instance |
| (instance Angola Nation) | CountriesAndRegions.kif 153-153 | 安哥拉 是 国家 的 instance |
| (instance AntiguaAndBarbuda Nation) | CountriesAndRegions.kif 429-429 | 安提瓜和巴布达 是 国家 的 instance |
| (instance Argentina Nation) | CountriesAndRegions.kif 514-514 | 阿根廷 是 国家 的 instance |
| (instance Armenia Nation) | CountriesAndRegions.kif 631-631 | 亚美尼亚 是 国家 的 instance |
| (instance Australia Nation) | CountriesAndRegions.kif 661-661 | 澳大利亚 是 国家 的 instance |
| (instance Austria Nation) | CountriesAndRegions.kif 276-276 | 奥地利 是 国家 的 instance |
| (instance Azerbaijan Nation) | CountriesAndRegions.kif 633-633 | 阿塞拜疆 是 国家 的 instance |
| (instance Bahrain Nation) | CountriesAndRegions.kif 241-241 | 巴林 是 国家 的 instance |
| (instance Bangladesh Nation) | CountriesAndRegions.kif 570-570 | 孟加拉国 是 国家 的 instance |
| (instance Barbados Nation) | CountriesAndRegions.kif 434-434 | 巴巴多斯 是 国家 的 instance |
| (instance Belarus Nation) | CountriesAndRegions.kif 297-297 | 白俄罗斯 是 国家 的 instance |
| (instance Belize Nation) | CountriesAndRegions.kif 472-472 | 伯利兹 是 国家 的 instance |
| (instance Benin Nation) | CountriesAndRegions.kif 192-192 | 贝宁 是 国家 的 instance |
| (instance Bhutan Nation) | CountriesAndRegions.kif 572-572 | 不丹 是 国家 的 instance |
| (instance Bolivia Nation) | CountriesAndRegions.kif 496-496 | 玻利维亚 是 国家 的 instance |
| (instance BosniaAndHerzegovina Nation) | CountriesAndRegions.kif 373-373 | 波斯尼亚和黑塞哥维那 是 国家 的 instance |
| (instance Botswana Nation) | CountriesAndRegions.kif 156-156 | 博茨瓦纳 是 国家 的 instance |
| (instance Brazil Nation) | CountriesAndRegions.kif 501-501 | 巴西 是 国家 的 instance |
| (instance Brunei Nation) | CountriesAndRegions.kif 600-600 | 文莱 是 国家 的 instance |
| (instance Bulgaria Nation) | CountriesAndRegions.kif 375-375 | 保加利亚 是 国家 的 instance |
| (instance BurkinaFaso Nation) | CountriesAndRegions.kif 194-194 | 布基纳法索 是 国家 的 instance |
| (instance Burundi Nation) | CountriesAndRegions.kif 86-86 | 布隆迪 是 国家 的 instance |
| 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 | NationalAnthemFn 的 1 数量 是 国家 的 instance |
| (domain StreetAddressFn 4 Nation) | Mid-level-ontology.kif 6704-6704 | 街道地址 的 4 数量 是 国家 的 instance |
| (domain citizen 2 Nation) | Merge.kif 16834-16834 | 公民 的 2 数量 是 国家 的 instance |
| (domain inflationRateInCountry 1 Nation) | FinancialOntology.kif 1676-1676 | inflationRateInCountry 的 1 数量 是 国家 的 instance |
| antecedent |
|
|
| (<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO)) |
Mid-level-ontology.kif 25033-25040 | PostalPlace 是 located 在 地缘政治区域 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 地缘政治区域 是 国家 的 instance 或 那个 地缘政治区域 是 依赖或特殊主权领域 的 instance 若且唯若 那个 PostalPlace 是在 那个 地缘政治区域 |
| (=> (and (attribute ?AREA CommunistState) (instance ?AREA Nation)) (economyType ?AREA CentrallyPlannedEconomy)) |
Economy.kif 865-869 | |
| (=> (and (chiefOfState ?AREA ?POSITION ?PERSON) (instance ?AREA Nation)) (citizen ?PERSON ?AREA)) |
Government.kif 1532-1536 | |
| (=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3)) |
Government.kif 4630-4635 |
|
| (=> (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 | |
| (=> (and (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3)) |
Government.kif 4497-4502 | |
| (=> (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 | |
| (=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Nation)) (exists (?ORG) (and (instance ?ORG DiplomaticOrganization) (subOrganization ?ORG (GovernmentFn ?AGENT1)) (occupiesPosition ?PERSON ?POSITION ?ORG)))) |
Government.kif 4432-4440 | |
| (=> (and (headOfGovernment ?AREA ?POSITION ?PERSON) (instance ?AREA Nation)) (citizen ?PERSON ?AREA)) |
Government.kif 1571-1575 | |
| (=> (and (holdsDuring ?T1 (attribute ?P StatelessPerson)) (instance ?NAT Nation)) (holdsDuring ?T1 (not (citizen ?P ?NAT)))) |
MilitaryPersons.kif 195-201 | |
| (=> (and (instance (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea) (instance ?COUNTRY1 Nation) (instance ?COUNTRY2 Nation)) (instance (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder)) |
Geography.kif 700-705 | |
| (=> (and (instance (ShipRegisterFn ?AREA) ShipRegister) (instance ?AREA Nation)) (instance (ShipRegisterFn ?AREA) NationalShipRegister)) |
Transportation.kif 1145-1149 | |
| (=> (and (instance ?AREA Nation) (currencyType ?AREA EuroDollar)) (member ?AREA EuropeanMonetaryUnion)) |
Government.kif 3191-3195 | |
| (=> (and (instance ?AREA Nation) (member ?AREA EuropeanMonetaryUnion)) (currencyType ?AREA EuroDollar)) |
Government.kif 3185-3189 | |
| (=> (and (instance ?CAA CivilAffairsAgreement) (partyToAgreement ?AGENT_MIL_THIS ?CAA) (instance ?AGENT_MIL_THIS MilitaryOrganization) (militaryOfArea ?AGENT_MIL_THIS ?NATION_THIS) (instance ?NATION_THIS Nation) (located ?AGENT_MIL_THIS ?NATION_FRIENDLY) (instance ?NATION_FRIENDLY Nation)) (and (not (equal ?NATION_THIS ?NATION_FRIENDLY)) (not (enemy ?NATION_THIS ?NATION_FRIENDLY)) (exists (?AGENT_FRIENDLY) (and (located ?AGENT_FRIENDLY ?NATION_FRIENDLY) (partyToAgreement ?AGENT_FRIENDLY ?CAA) (not (instance ?AGENT_FRIENDLY MilitaryOrganization)))))) |
MilitaryProcesses.kif 2309-2328 |
|
| (=> (and (instance ?CAO CivilAffairsOperation) (located ?CAO ?NATION) (instance ?NATION Nation) (instance ?LAW (RegionalLawFn ?NATION)) (realization ?CAO ?CONTENT)) (consistent ?LAW ?CONTENT)) |
MilitaryProcesses.kif 2244-2252 | |
| (=> (and (instance ?CONST (ConstitutionFn ?COUNTRY)) (instance ?COUNTRY Nation) (equal ?GOV (GovernmentFn ?COUNTRY)) (instance (WhenFn ?GOV) ?CLASS) (agreementEffectiveDuring ?CONST ?CLASS) (subProposition ?PART ?CONST) (containsInformation ?FORMULA ?PART)) (holdsObligation ?FORMULA ?GOV)) |
Government.kif 736-745 | |
| (=> (and (instance ?COUNTRY Nation) (governmentType ?COUNTRY Democracy)) (exists (?SUFFRAGE) (and (instance ?SUFFRAGE SuffrageLaw) (subProposition ?SUFFRAGE (RegionalLawFn ?COUNTRY))))) |
Government.kif 868-875 | |
| (=> (and (instance ?COUNTRY Nation) (instance ?AREA (OverseasAreaFn ?COUNTRY))) (dependentAreaOfType ?AREA ?COUNTRY OverseasArea)) |
Government.kif 471-475 | |
| (=> (and (instance ?COUNTRY Nation) (leader ?COUNTRY ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?COUNTRY))) (leaderPosition ?COUNTRY ?ROLE)) |
Government.kif 1418-1424 | |
| (=> (and (instance ?COUNTRY Nation) (leaderPosition (GovernmentFn ?COUNTRY) ?ROLE)) (leaderPosition ?COUNTRY ?ROLE)) |
Government.kif 1427-1431 | |
| (=> (and (instance ?COUNTRY Nation) (leaderPosition ?COUNTRY ?ROLE)) (leaderPosition (GovernmentFn ?COUNTRY) ?ROLE)) |
Government.kif 1433-1437 | |
| (=> (and (instance ?COURT SupremeCourt) (subOrganization ?COURT (GovernmentFn ?COUNTRY)) (instance ?COUNTRY Nation)) (instance ?COURT (SupremeCourtFn ?COUNTRY))) |
Government.kif 2153-2158 | |
| (=> (and (instance ?GEO (GeographicPartTypeFn StateOrProvince ?AREA)) (instance ?AREA Nation)) (primaryGeopoliticalSubdivision ?GEO ?AREA)) |
Geography.kif 6913-6917 |
|
| (=> (and (instance ?GROUP PoliticalPressureGroup) (hasPurpose ?GROUP ?FORMULA) (agentOperatesInArea ?GROUP ?AREA) (instance ?AREA Nation)) (desires ?GROUP (believes (GovernmentFn ?AREA) ?FORMULA))) |
Government.kif 2324-2331 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| 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 2989-2997 | |
| (=> (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 17642-17658 |
|
| (=> (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 2493-2497 | |
| (=> (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 16811-16825 | |
| (=> (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 27423-27433 | |
| (=> (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 27440-27452 |
|
| (=> (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 13484-13489 | |
| (=> (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 2478-2486 | |
| (=> (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 14296-14301 | |
| (=> (instance ?WAR CivilWar) (exists (?NATION) (and (instance ?NATION Nation) (forall (?AGENT) (=> (contestParticipant ?WAR ?AGENT) (geopoliticalSubdivision ?AGENT ?NATION)))))) |
Mid-level-ontology.kif 19982-19990 |
|
| (=> (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 22694-22703 | |
| (=> (postCountry ?PLACE ?COUNTRY) (or (instance ?COUNTRY Nation) (instance ?COUNTRY DependencyOrSpecialSovereigntyArea))) |
Mid-level-ontology.kif 25027-25031 | |
| (=> (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 14470-14479 | |
| 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 885-893 | 对所有 ?COUNTRY， ?ELECTION,， ， ?VOTING， and 和 ?VOTER
|
|
|
|
