| Constitution(constitution)
|
| appearance as argument number 1 |
|
| (subclass Constitution Proposition) | Government.kif 611-611 | Constitution is a subclass of proposition |
| (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 | Constitution is a subclass of proposition |
| (externalImage Constitution "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Magna_Carta.jpg") | pictureList.kif 5928-5928 | Constitution is a subclass of proposition |
| (externalImage Constitution "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1e/ Hammurabi.jpg") | pictureList.kif 6305-6305 | Constitution is a subclass of proposition |
| (externalImage Constitution "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3c/ Konstytucja_3_Maja.jpg") | pictureList.kif 6306-6306 | Constitution is a subclass of proposition |
| appearance as argument number 2 |
|
|
| (rangeSubclass ConstitutionFn Constitution) | Government.kif 639-639 | The values returned by constitution are subclasses of constitution |
| (termFormat EnglishLanguage Constitution "constitution") | domainEnglishFormat.kif 16722-16722 | The values returned by constitution are subclasses of constitution |
| (termFormat ChineseTraditionalLanguage Constitution "憲法") | domainEnglishFormat.kif 16723-16723 | The values returned by constitution are subclasses of constitution |
| (termFormat ChineseLanguage Constitution "宪法") | domainEnglishFormat.kif 16724-16724 | The values returned by constitution are subclasses of constitution |
| 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 | If X is an instance of constitution, then there exist Y, Z such that Y is an instance of formula, Y contains information Z, Z is an instance of proposition, Z is a sub-proposition of X, and the statement Y has the modal force of obligation |
| (=> (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 | If X is an instance of constitution, then there exist Y, Z such that Y is an instance of formula, Y contains information Z, Z is an instance of proposition, Z is a sub-proposition of X, and the statement Y has the modal force of permission |
| consequent |
|
|
| (=> (instance ?DOC ConstitutionDocument) (exists (?CONST) (and (instance ?CONST Constitution) (containsInformation ?DOC ?CONST)))) |
Government.kif 652-657 | If X is an instance of constitution document, then there exists Y such that Y is an instance of constitution and X contains information Y |
|
|
|