Nation
|
|
appearance as argument number 1 |
(disjoint Nation Continent) | Geography.kif 3519-3519 | Nacao e' disjunto de Continente |
(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 14225-14228 | |
(externalImage Nation "http://upload.wikimedia.org/wikipedia/commons/7/78/ Developed_nation.png") | pictureList.kif 3358-3358 | |
(subclass Nation GeopoliticalArea) | Merge.kif 14223-14223 | Nacao e' uma sub-classe de Area Geopolitica |
(subclass Nation LandArea) | Merge.kif 14224-14224 | Nacao e' uma sub-classe de Area terrestre |
appearance as argument number 2 |
(instance Afghanistan Nation) | CountriesAndRegions.kif 568-568 | Afghanistan e' uma instancia de Nacao |
(instance Albania Nation) | CountriesAndRegions.kif 371-371 | Albania e' uma instancia de Nacao |
(instance Algeria Nation) | CountriesAndRegions.kif 117-117 | Algeria e' uma instancia de Nacao |
(instance Angola Nation) | CountriesAndRegions.kif 153-153 | Angola e' uma instancia de Nacao |
(instance AntiguaAndBarbuda Nation) | CountriesAndRegions.kif 429-429 | AntiguaAndBarbuda e' uma instancia de Nacao |
(instance Argentina Nation) | CountriesAndRegions.kif 514-514 | Argentina e' uma instancia de Nacao |
(instance Armenia Nation) | CountriesAndRegions.kif 631-631 | Armenia e' uma instancia de Nacao |
(instance Australia Nation) | CountriesAndRegions.kif 661-661 | Australia e' uma instancia de Nacao |
(instance Austria Nation) | CountriesAndRegions.kif 276-276 | Austria e' uma instancia de Nacao |
(instance Azerbaijan Nation) | CountriesAndRegions.kif 633-633 | Azerbaijan e' uma instancia de Nacao |
(instance Bahrain Nation) | CountriesAndRegions.kif 241-241 | Bahrain e' uma instancia de Nacao |
(instance Bangladesh Nation) | CountriesAndRegions.kif 570-570 | Bangladesh e' uma instancia de Nacao |
(instance Barbados Nation) | CountriesAndRegions.kif 434-434 | Barbados e' uma instancia de Nacao |
(instance Belarus Nation) | CountriesAndRegions.kif 297-297 | Belarus e' uma instancia de Nacao |
(instance Belize Nation) | CountriesAndRegions.kif 472-472 | Belize e' uma instancia de Nacao |
(instance Benin Nation) | CountriesAndRegions.kif 192-192 | Benin e' uma instancia de Nacao |
(instance Bhutan Nation) | CountriesAndRegions.kif 572-572 | Bhutan e' uma instancia de Nacao |
(instance Bolivia Nation) | CountriesAndRegions.kif 496-496 | Bolivia e' uma instancia de Nacao |
(instance BosniaAndHerzegovina Nation) | CountriesAndRegions.kif 373-373 | BosniaAndHerzegovina e' uma instancia de Nacao |
(instance Botswana Nation) | CountriesAndRegions.kif 156-156 | Botswana e' uma instancia de Nacao |
(instance Brazil Nation) | CountriesAndRegions.kif 501-501 | Brazil e' uma instancia de Nacao |
(instance Brunei Nation) | CountriesAndRegions.kif 600-600 | Brunei e' uma instancia de Nacao |
(instance Bulgaria Nation) | CountriesAndRegions.kif 375-375 | Bulgaria e' uma instancia de Nacao |
(instance BurkinaFaso Nation) | CountriesAndRegions.kif 194-194 | BurkinaFaso e' uma instancia de Nacao |
(instance Burundi Nation) | CountriesAndRegions.kif 86-86 | Burundi e' uma instancia de Nacao |
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 | O argumento numero 1 de NationalAnthemFn e' uma instancia de Nacao |
(domain StreetAddressFn 4 Nation) | Mid-level-ontology.kif 6710-6710 | O argumento numero 4 de StreetAddressFn e' uma instancia de Nacao |
(domain citizen 2 Nation) | Merge.kif 16753-16753 | O argumento numero 2 de citizen e' uma instancia de Nacao |
(domain inflationRateInCountry 1 Nation) | FinancialOntology.kif 1676-1676 | O argumento numero 1 de inflationRateInCountry e' uma instancia de Nacao |
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 923-931 | ?COUNTRY ?ELECTION, ?VOTING and ?VOTER
|