| 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 613-615 | |
| (externalImage Constitution "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Magna_Carta.jpg") | pictureList.kif 5928-5928 | |
| (externalImage Constitution "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1e/ Hammurabi.jpg") | pictureList.kif 6305-6305 | |
| (externalImage Constitution "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3c/ Konstytucja_3_Maja.jpg") | pictureList.kif 6306-6306 | |
| (subclass Constitution Proposition) | Government.kif 611-611 |
| appearance as argument number 2 |
|
|
| (rangeSubclass ConstitutionFn Constitution) | Government.kif 639-639 | |
| (termFormat ChineseLanguage Constitution "宪法") | domainEnglishFormat.kif 16733-16733 | |
| (termFormat ChineseTraditionalLanguage Constitution "憲法") | domainEnglishFormat.kif 16732-16732 | |
| (termFormat EnglishLanguage Constitution "constitution") | domainEnglishFormat.kif 16731-16731 |
| 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 617-625 | |
| (=> (instance ?CONST Constitution) (exists (?FORMULA ?PART) (and (instance ?FORMULA Formula) (containsInformation ?FORMULA ?PART) (instance ?PART Proposition) (subProposition ?PART ?CONST) (modalAttribute ?FORMULA Permission)))) |
Government.kif 627-635 |
| consequent |
|
|
| (=> (instance ?DOC ConstitutionDocument) (exists (?CONST) (and (instance ?CONST Constitution) (containsInformation ?DOC ?CONST)))) |
Government.kif 652-657 |
|
|
|