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 | Constitution est une sous-classe de proposition |
appearance as argument number 2 |
![]() |
(rangeSubclass ConstitutionFn Constitution) | Government.kif 639-639 | Les valeurs retourn�es par ConstitutionFn sont des sous-classes de Constitution |
(termFormat ChineseLanguage Constitution "宪法") | domainEnglishFormat.kif 16731-16731 | Les valeurs retourn�es par ConstitutionFn sont des sous-classes de Constitution |
(termFormat ChineseTraditionalLanguage Constitution "憲法") | domainEnglishFormat.kif 16730-16730 | Les valeurs retourn�es par ConstitutionFn sont des sous-classes de Constitution |
(termFormat EnglishLanguage Constitution "constitution") | domainEnglishFormat.kif 16729-16729 | Les valeurs retourn�es par ConstitutionFn sont des sous-classes de Constitution |
antecedent |
![]() |
consequent |
![]() |
(=> (instance ?DOC ConstitutionDocument) (exists (?CONST) (and (instance ?CONST Constitution) (containsInformation ?DOC ?CONST)))) |
Government.kif 652-657 |
|
![]() |
![]() |