| Constitution
|
| appearance as argument number 1 |
|
| (documentation Constitution EnglishLanguage "The class Constitution includes the bodies of abstract principles formulated to guide the laws, institutions and practices of various Governments. Also see ConstitutionDocument.") | Government.kif 636-638 | |
| (externalImage Constitution "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Magna_Carta.jpg") | pictureList.kif 5930-5930 | |
| (externalImage Constitution "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1e/ Hammurabi.jpg") | pictureList.kif 6307-6307 | |
| (externalImage Constitution "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3c/ Konstytucja_3_Maja.jpg") | pictureList.kif 6308-6308 | |
| (subclass Constitution Proposition) | Government.kif 634-634 |
| appearance as argument number 2 |
|
|
| (rangeSubclass ConstitutionFn Constitution) | Government.kif 662-662 | |
| (termFormat ChineseLanguage Constitution "宪法") | domainEnglishFormat.kif 16713-16713 | |
| (termFormat ChineseTraditionalLanguage Constitution "憲法") | domainEnglishFormat.kif 16712-16712 | |
| (termFormat EnglishLanguage Constitution "constitution") | domainEnglishFormat.kif 16711-16711 |
| antecedent |
|
|
| (=> (instance ?CONST Constitution) (exists (?FORMULA ?PART) (and (instance ?FORMULA Formula) (containsInformation ?FORMULA ?PART) (instance ?PART Proposition) (subProposition ?PART ?CONST) (modalAttribute ?FORMULA Obligation)))) |
Government.kif 640-648 | |
| (=> (instance ?CONST Constitution) (exists (?FORMULA ?PART) (and (instance ?FORMULA Formula) (containsInformation ?FORMULA ?PART) (instance ?PART Proposition) (subProposition ?PART ?CONST) (modalAttribute ?FORMULA Permission)))) |
Government.kif 650-658 |
| consequent |
|
|
| (=> (instance ?DOC ConstitutionDocument) (exists (?CONST) (and (instance ?CONST Constitution) (containsInformation ?DOC ?CONST)))) |
Government.kif 675-680 |
|
|
|