![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(disjoint Nation Continent) | Geography.kif 3507-3507 | Nation est disjoint de continent |
(documentation Nation ChineseLanguage "这是最辽阔的 GeopoliticalArea,也就是说 Nation 是 不属于任何总体和综合管制架构一部分的 GeopoliticalArea (英联邦和其他各种宽松的国际组织除外)。") | chinese_format.kif 3346-3347 | Nation est disjoint de continent |
(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 14280-14283 | Nation est disjoint de continent |
(externalImage Nation "http://upload.wikimedia.org/wikipedia/commons/7/78/ Developed_nation.png") | pictureList.kif 3357-3357 | Nation est disjoint de continent |
(subclass Nation GeopoliticalArea) | Merge.kif 14278-14278 | Nation est une sous-classe de secteur g�opolitique |
(subclass Nation LandArea) | Merge.kif 14279-14279 | Nation est une sous-classe de zone de terre |
appearance as argument number 2 |
![]() |
(instance Afghanistan Nation) | CountriesAndRegions.kif 568-568 | Afghanistan est une instance de nation |
(instance Albania Nation) | CountriesAndRegions.kif 371-371 | Albania est une instance de nation |
(instance Algeria Nation) | CountriesAndRegions.kif 117-117 | Algeria est une instance de nation |
(instance Angola Nation) | CountriesAndRegions.kif 153-153 | Angola est une instance de nation |
(instance AntiguaAndBarbuda Nation) | CountriesAndRegions.kif 429-429 | AntiguaAndBarbuda est une instance de nation |
(instance Argentina Nation) | CountriesAndRegions.kif 514-514 | Argentina est une instance de nation |
(instance Armenia Nation) | CountriesAndRegions.kif 631-631 | Armenia est une instance de nation |
(instance Australia Nation) | CountriesAndRegions.kif 661-661 | Australia est une instance de nation |
(instance Austria Nation) | CountriesAndRegions.kif 276-276 | Austria est une instance de nation |
(instance Azerbaijan Nation) | CountriesAndRegions.kif 633-633 | Azerbaijan est une instance de nation |
(instance Bahrain Nation) | CountriesAndRegions.kif 241-241 | Bahrain est une instance de nation |
(instance Bangladesh Nation) | CountriesAndRegions.kif 570-570 | Bangladesh est une instance de nation |
(instance Barbados Nation) | CountriesAndRegions.kif 434-434 | Barbados est une instance de nation |
(instance Belarus Nation) | CountriesAndRegions.kif 297-297 | Belarus est une instance de nation |
(instance Belize Nation) | CountriesAndRegions.kif 472-472 | Belize est une instance de nation |
(instance Benin Nation) | CountriesAndRegions.kif 192-192 | Benin est une instance de nation |
(instance Bhutan Nation) | CountriesAndRegions.kif 572-572 | Bhutan est une instance de nation |
(instance Bolivia Nation) | CountriesAndRegions.kif 496-496 | Bolivia est une instance de nation |
(instance BosniaAndHerzegovina Nation) | CountriesAndRegions.kif 373-373 | BosniaAndHerzegovina est une instance de nation |
(instance Botswana Nation) | CountriesAndRegions.kif 156-156 | Botswana est une instance de nation |
(instance Brazil Nation) | CountriesAndRegions.kif 501-501 | Brazil est une instance de nation |
(instance Brunei Nation) | CountriesAndRegions.kif 600-600 | Brunei est une instance de nation |
(instance Bulgaria Nation) | CountriesAndRegions.kif 375-375 | Bulgaria est une instance de nation |
(instance BurkinaFaso Nation) | CountriesAndRegions.kif 194-194 | BurkinaFaso est une instance de nation |
(instance Burundi Nation) | CountriesAndRegions.kif 86-86 | Burundi est une instance de 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 954-954 | Le nombre 1 argument de NationalAnthemFn est une instance de nation |
(domain StreetAddressFn 4 Nation) | Mid-level-ontology.kif 6704-6704 | Le nombre 4 argument de StreetAddressFn est une instance de nation |
(domain citizen 2 Nation) | Merge.kif 16830-16830 | Le nombre 2 argument de citizen est une instance de nation |
(domain inflationRateInCountry 1 Nation) | FinancialOntology.kif 1676-1676 | Le nombre 1 argument de inflationRateInCountry est une instance de 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 885-893 | ?COUNTRY ?ELECTION, ?VOTING and ?VOTER
|
![]() |
![]() |