Collection(Colecao) more pictures... |
appearance as argument number 1 |
(disjoint Collection SelfConnectedObject) | Merge.kif 1262-1262 | Colecao e' disjunto de Objeto auto-conectado |
(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 1264-1268 | |
(documentation Collection JapaneseLanguage "コレクションには Classes などの members が あるが、Classes とは異なり時空に位置していて、 members は、それによって Collection の アイデンティティを変更せずに加算および減算できる。 いくつかの例として、ツールキット、サッカー チーム、および羊の群れなど。") | japanese_format.kif 212-215 | |
(documentation Collection SpanishLanguage "Collections tienen members como Classes, pero a diferencia de Classes, tienen lugar en espacio-tiempo y se pueden añadir y eliminar members sin cambiar la identidad de la Collection, por ejemplo, juegos de herramientas, equipos de futbol, y rebaños de ovejas.") | spanish_format.kif 252-255 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 38/ Stamp_collection.jpg") | pictureList.kif 10668-10668 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Collection_Quid.jpg") | pictureList.kif 10667-10667 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3f/ Book_collection.jpg") | pictureList.kif 10663-10663 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Greek_pottery1.jpg") | pictureList.kif 10674-10674 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Beetle_collection.jpg") | pictureList.kif 10662-10662 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Bgbo_kakteen_ies.jpg") | pictureList.kif 10673-10673 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4d/ LA2-katalogkort.jpg") | pictureList.kif 9948-9948 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Petosa_-_old_accordions_03.jpg") | pictureList.kif 10666-10666 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ The_old_Porsche-Museum%2C_Porscheplatz_1%2C_Stuttgart.jpg") | pictureList.kif 10672-10672 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Collection-of-cameras.jpg") | pictureList.kif 10669-10669 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ a/ aa/ Xtal-collection.jpg") | pictureList.kif 10659-10659 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Oropos-Phaeton.jpg") | pictureList.kif 10671-10671 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Pog_Collection.jpg") | pictureList.kif 10661-10661 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ c/ cd/ CD_collection.jpg") | pictureList.kif 10660-10660 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Collection-of-Maps.jpg") | pictureList.kif 10670-10670 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Tuning_World_Bodensee_Thumbs_2004.JPG") | pictureList.kif 10675-10675 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Speccy-collection.jpg") | pictureList.kif 10665-10665 | |
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ f/ fa/ Bottle-collection.jpg") | pictureList.kif 10664-10664 | |
(subclass Collection Object) | Merge.kif 1261-1261 | Colecao e' uma sub-classe de Objeto |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 2 |
(instance UnitedStatesMinorOutlyingIslands Collection) | Media.kif 2607-2607 | UnitedStatesMinorOutlyingIslands e' uma instancia de Colecao |
(range QPViewsFn Collection) | UXExperimentalTerms.kif 4168-4168 | O contra-dominio de QPViewsFn e' uma instancia de Colecao |
(range QualifiedTreatmentsFn Collection) | UXExperimentalTerms.kif 4233-4233 | O contra-dominio de QualifiedTreatmentsFn e' uma instancia de Colecao |
(range QualifyingEventsFn Collection) | UXExperimentalTerms.kif 4200-4200 | O contra-dominio de QualifyingEventsFn e' uma instancia de Colecao |
(range QualifyingPurchasesFn Collection) | UXExperimentalTerms.kif 3035-3035 | O contra-dominio de QualifyingPurchasesFn e' uma instancia de Colecao |
(range SellersItemsFn Collection) | UXExperimentalTerms.kif 985-985 | O contra-dominio de SellersItemsFn e' uma instancia de Colecao |
(range SellersOtherItemsFn Collection) | UXExperimentalTerms.kif 1024-1024 | O contra-dominio de SellersOtherItemsFn e' uma instancia de Colecao |
(range SiteWideNewBuyersFn Collection) | UXExperimentalTerms.kif 3368-3368 | O contra-dominio de SiteWideNewBuyersFn e' uma instancia de Colecao |
(range SiteWideNewRegistrationsFn Collection) | UXExperimentalTerms.kif 3420-3420 | O contra-dominio de SiteWideNewRegistrationsFn e' uma instancia de Colecao |
(range SiteWideNewSellersFn Collection) | UXExperimentalTerms.kif 3467-3467 | O contra-dominio de SiteWideNewSellersFn e' uma instancia de Colecao |
(range TreatedUsersFn Collection) | UXExperimentalTerms.kif 4276-4276 | O contra-dominio de TreatedUsersFn e' uma instancia de Colecao |
(subclass Archipelago Collection) | Geography.kif 5842-5842 | Archipelago e' uma sub-classe de Colecao |
(subclass BoxOfChocolates Collection) | Food.kif 2507-2507 | BoxOfChocolates e' uma sub-classe de Colecao |
(subclass Buffet Collection) | Dining.kif 255-255 | Buffet e' uma sub-classe de Colecao |
(subclass ClothingSuit Collection) | Mid-level-ontology.kif 5301-5301 | ClothingSuit e' uma sub-classe de Colecao |
(subclass CommunicationSystem Collection) | Mid-level-ontology.kif 7618-7618 | CommunicationSystem e' uma sub-classe de Colecao |
(subclass ComputerSystem Collection) | ComputingBrands.kif 3317-3317 | ComputerSystem e' uma sub-classe de Colecao |
(subclass Convoy Collection) | Mid-level-ontology.kif 22322-22322 | Convoy e' uma sub-classe de Colecao |
(subclass Discography Collection) | Music.kif 60-60 | Discography e' uma sub-classe de Colecao |
(subclass FireSprinklerSystem Collection) | Mid-level-ontology.kif 25451-25451 | FireSprinklerSystem e' uma sub-classe de Colecao |
(subclass Fleet Collection) | Mid-level-ontology.kif 3512-3512 | Fleet e' uma sub-classe de Colecao |
(subclass GolgiApparatus Collection) | VirusProteinAndCellPart.kif 1056-1056 | GolgiApparatus e' uma sub-classe de Colecao |
(subclass Group Collection) | Merge.kif 16245-16245 | Grupo e' uma sub-classe de Colecao |
(subclass HomologousChromosomeSet Collection) | VirusProteinAndCellPart.kif 858-858 | HomologousChromosomeSet e' uma sub-classe de Colecao |
(subclass HotelMiniBar Collection) | Hotel.kif 1718-1718 | HotelMiniBar e' uma sub-classe de Colecao |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
(domain ABPFn 1 Collection) | UXExperimentalTerms.kif 3225-3225 | O argumento numero 1 de ABPFn e' uma instancia de Colecao |
(domain ASPFn 1 Collection) | UXExperimentalTerms.kif 3270-3270 | O argumento numero 1 de ASPFn e' uma instancia de Colecao |
(domain AuctionGMBFn 1 Collection) | UXExperimentalTerms.kif 3193-3193 | O argumento numero 1 de AuctionGMBFn e' uma instancia de Colecao |
(domain BidCountFn 1 Collection) | UXExperimentalTerms.kif 2912-2912 | O argumento numero 1 de BidCountFn e' uma instancia de Colecao |
(domain BoughtItemsFn 1 Collection) | UXExperimentalTerms.kif 2878-2878 | O argumento numero 1 de BoughtItemsFn e' uma instancia de Colecao |
(domain ClickThroughRateFn 1 Collection) | UXExperimentalTerms.kif 3327-3327 | O argumento numero 1 de ClickThroughRateFn e' uma instancia de Colecao |
(domain ConversionRateFn 1 Collection) | UXExperimentalTerms.kif 2841-2841 | O argumento numero 1 de ConversionRateFn e' uma instancia de Colecao |
(domain GMBFn 1 Collection) | UXExperimentalTerms.kif 2947-2947 | O argumento numero 1 de GMBFn e' uma instancia de Colecao |
(domain GMVFn 1 Collection) | UXExperimentalTerms.kif 2990-2990 | O argumento numero 1 de GMVFn e' uma instancia de Colecao |
(domain SCRFn 1 Collection) | UXExperimentalTerms.kif 3658-3658 | O argumento numero 1 de SCRFn e' uma instancia de Colecao |
(domain chromosomeSetCount 2 Collection) | VirusProteinAndCellPart.kif 823-823 | O argumento numero 2 de chromosomeSetCount e' uma instancia de Colecao |
(domain controlGroup 1 Collection) | UXExperimentalTerms.kif 3841-3841 | O argumento numero 1 de controlGroup e' uma instancia de Colecao |
(domain experimentalTreatmentCollection 1 Collection) | UXExperimentalTerms.kif 4034-4034 | O argumento numero 1 de experimentalTreatmentCollection e' uma instancia de Colecao |
(domain firstTimeBuyers 3 Collection) | UXExperimentalTerms.kif 3519-3519 | O argumento numero 3 de firstTimeBuyers e' uma instancia de Colecao |
(domain firstTimeSellers 3 Collection) | UXExperimentalTerms.kif 3567-3567 | O argumento numero 3 de firstTimeSellers e' uma instancia de Colecao |
(domain fleetDeadWeightTonnage 1 Collection) | Transportation.kif 1003-1003 | O argumento numero 1 de fleetDeadWeightTonnage e' uma instancia de Colecao |
(domain fleetGrossRegisteredTonnage 1 Collection) | Transportation.kif 985-985 | O argumento numero 1 de fleetGrossRegisteredTonnage e' uma instancia de Colecao |
(domain inventory 2 Collection) | Mid-level-ontology.kif 22717-22717 | O argumento numero 2 de inventory e' uma instancia de Colecao |
(domain meceCollection 1 Collection) | UXExperimentalTerms.kif 4609-4609 | O argumento numero 1 de meceCollection e' uma instancia de Colecao |
(domain meceCollection 2 Collection) | UXExperimentalTerms.kif 4611-4611 | O argumento numero 2 de meceCollection e' uma instancia de Colecao |
(domain member 2 Collection) | Merge.kif 1280-1280 | O argumento numero 2 de member e' uma instancia de Colecao |
(domain memberAtTime 2 Collection) | Mid-level-ontology.kif 22699-22699 | O argumento numero 2 de memberAtTime e' uma instancia de Colecao |
(domain memberCount 1 Collection) | Mid-level-ontology.kif 22633-22633 | O argumento numero 1 de memberCount e' uma instancia de Colecao |
(domain memberType 1 Collection) | Mid-level-ontology.kif 22648-22648 | O argumento numero 1 de memberType e' uma instancia de Colecao |
(domain memberTypeCount 1 Collection) | Mid-level-ontology.kif 22662-22662 | O argumento numero 1 de memberTypeCount e' uma instancia de Colecao |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |
statement |
(domain CardinalityFn 1 (UnionFn SetOrClass Collection)) |
Merge.kif 5508-5508 | O argumento numero 1 de CardinalityFn e' uma instancia de a uniao de Conjunto ou Classe e Colecao |