![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Attribute ChineseLanguage "这是我们不能够或选择不去具体化为 Object 的子类别的 质量。") | chinese_format.kif 1710-1711 | |
(documentation Attribute EnglishLanguage "Qualities which we cannot or choose not to reify into subclasses of.") | Merge.kif 1644-1645 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 03/ Liberation-compare.png") | pictureList.kif 10468-10468 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ NordJW-06_Mudpaws_Duke_Silver.jpg") | pictureList.kif 10461-10461 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Fiddler_crab.jpg") | pictureList.kif 9903-9903 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ Big_ben.jpg") | pictureList.kif 10463-10463 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Spicularia.PNG") | pictureList.kif 10464-10464 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Young_and_old.jpg") | pictureList.kif 10462-10462 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ Tall_Sundew.jpg") | pictureList.kif 10465-10465 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Stalinist_and_19_century_compare_sizes.jpg") | pictureList.kif 10466-10466 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ ASCII_notepad_acidview_compare.png") | pictureList.kif 10469-10469 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 7/ 70/ Shroud_positive_negative_compare.jpg") | pictureList.kif 10470-10470 | |
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Remebrance_poppy_ww2_section_of_Aust_war_memorial.jpg") | pictureList.kif 10460-10460 | |
(partition Attribute InternalAttribute RelationalAttribute) | Merge.kif 1642-1642 | Attribute is exhaustively partitioned into internal attribute and relational attribute |
(subclass Attribute Abstract) | Merge.kif 1640-1640 | Attribute is a subclass of abstract |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |