|
|
   ConstitutionDocument
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ConstitutionDocument EnglishLanguage "ConstitutionDocument is the class of information-containing objects in which the &$Constitution of a government is encoded.") | Government.kif 670-672 | |
| (externalImage ConstitutionDocument "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 19/ Constitution_Pg1of4_AC.jpg") | pictureList.kif 4625-4625 | |
| (subclass ConstitutionDocument ContentBearingObject) | Government.kif 668-668 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ConstitutionDocument "宪法文件") | domainEnglishFormat.kif 16761-16761 | |
| (termFormat ChineseTraditionalLanguage ConstitutionDocument "憲法文件") | domainEnglishFormat.kif 16760-16760 | |
| (termFormat EnglishLanguage ConstitutionDocument "constitution document") | domainEnglishFormat.kif 16759-16759 |
| antecedent |
|
|
| (=> (instance ?DOC ConstitutionDocument) (exists (?CONST) (and (instance ?CONST Constitution) (containsInformation ?DOC ?CONST)))) |
Government.kif 674-679 |
|
|
|
