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 648-650 | |
(externalImage ConstitutionDocument "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 19/ Constitution_Pg1of4_AC.jpg") | pictureList.kif 4623-4623 | |
(subclass ConstitutionDocument ContentBearingObject) | Government.kif 646-646 | ConstitutionDocument est une sous-classe de objet exprimant un sens |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage ConstitutionDocument "宪法文件") | domainEnglishFormat.kif 16779-16779 | |
(termFormat ChineseTraditionalLanguage ConstitutionDocument "憲法文件") | domainEnglishFormat.kif 16778-16778 | |
(termFormat EnglishLanguage ConstitutionDocument "constitution document") | domainEnglishFormat.kif 16777-16777 |
antecedent |
![]() |
(=> (instance ?DOC ConstitutionDocument) (exists (?CONST) (and (instance ?CONST Constitution) (containsInformation ?DOC ?CONST)))) |
Government.kif 652-657 |
|
![]() |
![]() |