governmentType |
appearance as argument number 1 |
(documentation governmentType EnglishLanguage "(governmentType ?BODY ?FORM) means that the GeopoliticalArea or Organization ?BODY has a government with characteristic(s) of the type ?FORM.") | Government.kif 132-134 | |
(domain governmentType 1 AutonomousAgent) | Government.kif 128-128 | |
(domain governmentType 2 FormOfGovernment) | Government.kif 129-129 | |
(instance governmentType BinaryPredicate) | Government.kif 127-127 | |
(subrelation governmentType attribute) | Government.kif 130-130 |
appearance as argument number 2 |
(format ChineseLanguage governmentType "%2 %n 是 1% 的 government 类别") | domainEnglishFormat.kif 1113-1113 | |
(format ChineseTraditionalLanguage governmentType "%2 %n 是 1% 的 government 類別") | domainEnglishFormat.kif 1112-1112 | |
(format EnglishLanguage governmentType "%2 is %n a government type of %1") | domainEnglishFormat.kif 1111-1111 | |
(termFormat ChineseLanguage governmentType "政府类型") | domainEnglishFormat.kif 26340-26340 | |
(termFormat ChineseTraditionalLanguage governmentType "政府類型") | domainEnglishFormat.kif 26339-26339 | |
(termFormat EnglishLanguage governmentType "government type") | domainEnglishFormat.kif 26338-26338 |
antecedent |
consequent |
(=> (and (attribute (GovernmentFn ?AREA) ?TYPE) (instance ?TYPE FormOfGovernment)) (governmentType ?AREA ?TYPE)) |
Government.kif 148-152 | |
(=> (and (chiefOfStateType ?AREA ?POSITION) (agent ?ELECTION ?AREA) (instance ?ELECTION Election) (electionForPosition ?ELECTION ?POSITION) (instance ?ELECTION PopularElection)) (governmentType ?AREA Democracy)) |
Government.kif 1552-1559 | |
(=> (and (instance ?P CommunistParty) (member ?M ?P) (instance ?A GeopoliticalArea)) (desires ?M (governmentType ?A CommunistState))) |
Government.kif 2227-2233 | |
(=> (attribute ?AREA DemocraticSocialism) (governmentType ?AREA Democracy)) |
Economy.kif 824-826 | |
(=> (attribute ?PERSON Monarch) (exists (?PLACE) (and (instance ?PLACE GeopoliticalArea) (governmentType ?PLACE Monarchy) (chiefOfState ?PLACE Monarch ?PERSON)))) |
Government.kif 1327-1333 | |
(=> (instance ?AREA ParliamentaryTerritory) (governmentType (GovernmentFn ?AREA) ParliamentaryGovernment)) |
Government.kif 491-493 |