DeviceClosed
|
|
appearance as argument number 1 |
(disjoint Nation Continent) | Geography.kif 3519-3519 | Nazione è disgiunto da 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 | Nazione è una sottoclasse di AreaGeopolitica |
(subclass Nation LandArea) | Merge.kif 14224-14224 | Nazione è una sottoclasse di SuperficieTerrestre |
appearance as argument number 2 |
(instance Afghanistan Nation) | CountriesAndRegions.kif 568-568 | Afghanistan è un' istanza di Nazione |
(instance Albania Nation) | CountriesAndRegions.kif 371-371 | Albania è un' istanza di Nazione |
(instance Algeria Nation) | CountriesAndRegions.kif 117-117 | Algeria è un' istanza di Nazione |
(instance Angola Nation) | CountriesAndRegions.kif 153-153 | Angola è un' istanza di Nazione |
(instance AntiguaAndBarbuda Nation) | CountriesAndRegions.kif 429-429 | AntiguaAndBarbuda è un' istanza di Nazione |
(instance Argentina Nation) | CountriesAndRegions.kif 514-514 | Argentina è un' istanza di Nazione |
(instance Armenia Nation) | CountriesAndRegions.kif 631-631 | Armenia è un' istanza di Nazione |
(instance Australia Nation) | CountriesAndRegions.kif 661-661 | Australia è un' istanza di Nazione |
(instance Austria Nation) | CountriesAndRegions.kif 276-276 | Austria è un' istanza di Nazione |
(instance Azerbaijan Nation) | CountriesAndRegions.kif 633-633 | Azerbaijan è un' istanza di Nazione |
(instance Bahrain Nation) | CountriesAndRegions.kif 241-241 | Bahrain è un' istanza di Nazione |
(instance Bangladesh Nation) | CountriesAndRegions.kif 570-570 | Bangladesh è un' istanza di Nazione |
(instance Barbados Nation) | CountriesAndRegions.kif 434-434 | Barbados è un' istanza di Nazione |
(instance Belarus Nation) | CountriesAndRegions.kif 297-297 | Belarus è un' istanza di Nazione |
(instance Belize Nation) | CountriesAndRegions.kif 472-472 | Belize è un' istanza di Nazione |
(instance Benin Nation) | CountriesAndRegions.kif 192-192 | Benin è un' istanza di Nazione |
(instance Bhutan Nation) | CountriesAndRegions.kif 572-572 | Bhutan è un' istanza di Nazione |
(instance Bolivia Nation) | CountriesAndRegions.kif 496-496 | Bolivia è un' istanza di Nazione |
(instance BosniaAndHerzegovina Nation) | CountriesAndRegions.kif 373-373 | BosniaAndHerzegovina è un' istanza di Nazione |
(instance Botswana Nation) | CountriesAndRegions.kif 156-156 | Botswana è un' istanza di Nazione |
(instance Brazil Nation) | CountriesAndRegions.kif 501-501 | Brazil è un' istanza di Nazione |
(instance Brunei Nation) | CountriesAndRegions.kif 600-600 | Brunei è un' istanza di Nazione |
(instance Bulgaria Nation) | CountriesAndRegions.kif 375-375 | Bulgaria è un' istanza di Nazione |
(instance BurkinaFaso Nation) | CountriesAndRegions.kif 194-194 | BurkinaFaso è un' istanza di Nazione |
(instance Burundi Nation) | CountriesAndRegions.kif 86-86 | Burundi è un' istanza di Nazione |
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 | Il numero 1 argomenti di NationalAnthemFn è un istanza di Nazione |
(domain StreetAddressFn 4 Nation) | Mid-level-ontology.kif 6710-6710 | Il numero 4 argomenti di StreetAddressFn è un istanza di Nazione |
(domain citizen 2 Nation) | Merge.kif 16753-16753 | Il numero 2 argomenti di citizen è un istanza di Nazione |
(domain inflationRateInCountry 1 Nation) | FinancialOntology.kif 1676-1676 | Il numero 1 argomenti di inflationRateInCountry è un istanza di Nazione |
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
|