Nation![]() | ![]() |
appearance as argument number 1 |
![]() |
(disjoint Nation Continent) | Geography.kif 3441-3441 | disjoint Nation and Continent |
(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 13978-13981 | |
(externalImage Nation "http://upload.wikimedia.org/wikipedia/commons/7/78/ Developed_nation.png") | pictureList.kif 3359-3359 | |
(subclass Nation GeopoliticalArea) | Merge.kif 13976-13976 | subclass Nation and GeopoliticalArea |
(subclass Nation LandArea) | Merge.kif 13977-13977 | subclass Nation and LandArea |
appearance as argument number 2 |
![]() |
(instance Afghanistan Nation) | CountriesAndRegions.kif 568-568 | instance Afghanistan and Nation |
(instance Albania Nation) | CountriesAndRegions.kif 371-371 | instance Albania and Nation |
(instance Algeria Nation) | CountriesAndRegions.kif 117-117 | instance Algeria and Nation |
(instance Angola Nation) | CountriesAndRegions.kif 153-153 | instance Angola and Nation |
(instance AntiguaAndBarbuda Nation) | CountriesAndRegions.kif 429-429 | instance AntiguaAndBarbuda and Nation |
(instance Argentina Nation) | CountriesAndRegions.kif 514-514 | instance Argentina and Nation |
(instance Armenia Nation) | CountriesAndRegions.kif 631-631 | instance Armenia and Nation |
(instance Australia Nation) | CountriesAndRegions.kif 661-661 | instance Australia and Nation |
(instance Austria Nation) | CountriesAndRegions.kif 276-276 | instance Austria and Nation |
(instance Azerbaijan Nation) | CountriesAndRegions.kif 633-633 | instance Azerbaijan and Nation |
(instance Bahrain Nation) | CountriesAndRegions.kif 241-241 | instance Bahrain and Nation |
(instance Bangladesh Nation) | CountriesAndRegions.kif 570-570 | instance Bangladesh and Nation |
(instance Barbados Nation) | CountriesAndRegions.kif 434-434 | instance Barbados and Nation |
(instance Belarus Nation) | CountriesAndRegions.kif 297-297 | instance Belarus and Nation |
(instance Belize Nation) | CountriesAndRegions.kif 472-472 | instance Belize and Nation |
(instance Benin Nation) | CountriesAndRegions.kif 192-192 | instance Benin and Nation |
(instance Bhutan Nation) | CountriesAndRegions.kif 572-572 | instance Bhutan and Nation |
(instance Bolivia Nation) | CountriesAndRegions.kif 496-496 | instance Bolivia and Nation |
(instance BosniaAndHerzegovina Nation) | CountriesAndRegions.kif 373-373 | instance BosniaAndHerzegovina and Nation |
(instance Botswana Nation) | CountriesAndRegions.kif 156-156 | instance Botswana and Nation |
(instance Brazil Nation) | CountriesAndRegions.kif 501-501 | instance Brazil and Nation |
(instance Brunei Nation) | CountriesAndRegions.kif 600-600 | instance Brunei and Nation |
(instance Bulgaria Nation) | CountriesAndRegions.kif 375-375 | instance Bulgaria and Nation |
(instance BurkinaFaso Nation) | CountriesAndRegions.kif 194-194 | instance BurkinaFaso and Nation |
(instance Burundi Nation) | CountriesAndRegions.kif 86-86 | instance Burundi and Nation |
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 949-949 | domain NationalAnthemFn, 1 and Nation |
(domain StreetAddressFn 4 Nation) | Mid-level-ontology.kif 6374-6374 | domain StreetAddressFn, 4 and Nation |
(domain citizen 2 Nation) | Merge.kif 16484-16484 | domain citizen, 2 and Nation |
(domain inflationRateInCountry 1 Nation) | FinancialOntology.kif 1681-1681 | domain inflationRateInCountry, 1 and Nation |
antecedent |
![]() |
consequent |
![]() |
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 920-928 | containsInformation ?COUNTRY ?ELECTION, ?VOTING and ?VOTER
|
![]() |
![]() |