Collection![]() ![]() ![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(disjoint Collection SelfConnectedObject) | Merge.kif 1220-1220 | disjoint Collection and SelfConnectedObject |
(documentation Collection ChineseLanguage "群体和 Class 一样,拥有 member ,可它又不像 Class, 因为它们在时空有一个定位,而且 Collection 可以加和减 member 却不会改变自身的身份。它的 例子有工具包、足球队和羊群。") | chinese_format.kif 1630-1632 | |
(documentation Collection EnglishLanguage "Collections have members like Classes, but, unlike Classes, they have a position in space-time and members can be added and subtracted without thereby changing the identity of the Collection. Some examples are toolkits, repeated actions, football teams, and flocks of sheep.") | Merge.kif 1222-1226 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 38/ Stamp_collection.jpg") | pictureList.kif 10678-10678 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Collection_Quid.jpg") | pictureList.kif 10677-10677 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3f/ Book_collection.jpg") | pictureList.kif 10673-10673 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Greek_pottery1.jpg") | pictureList.kif 10684-10684 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Beetle_collection.jpg") | pictureList.kif 10672-10672 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Bgbo_kakteen_ies.jpg") | pictureList.kif 10683-10683 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4d/ LA2-katalogkort.jpg") | pictureList.kif 9956-9956 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Petosa_-_old_accordions_03.jpg") | pictureList.kif 10676-10676 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ The_old_Porsche-Museum%2C_Porscheplatz_1%2C_Stuttgart.jpg") | pictureList.kif 10682-10682 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Collection-of-cameras.jpg") | pictureList.kif 10679-10679 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ a/ aa/ Xtal-collection.jpg") | pictureList.kif 10669-10669 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Oropos-Phaeton.jpg") | pictureList.kif 10681-10681 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Pog_Collection.jpg") | pictureList.kif 10671-10671 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ c/ cd/ CD_collection.jpg") | pictureList.kif 10670-10670 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Collection-of-Maps.jpg") | pictureList.kif 10680-10680 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Tuning_World_Bodensee_Thumbs_2004.JPG") | pictureList.kif 10685-10685 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Speccy-collection.jpg") | pictureList.kif 10675-10675 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ f/ fa/ Bottle-collection.jpg") | pictureList.kif 10674-10674 | |
(subclass Collection Object) | Merge.kif 1219-1219 | subclass Collection and Object |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(domain CardinalityFn 1 (UnionFn SetOrClass Collection)) |
Merge.kif 5414-5414 | domain CardinalityFn, 1 and UnionFn SetOrClass and Collection |
![]() |
![]() |