Collection
|
|
appearance as argument number 1 |
(disjoint Collection SelfConnectedObject) | Merge.kif 1262-1262 | Collection ist dijunkt von SelfConnectedObject %n{nicht} |
(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 | Collection ist eine teilkategorie von Object |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 2 |
appearance as argument number 3 |
(domain ABPFn 1 Collection) | UXExperimentalTerms.kif 3225-3225 | Die Zahl 1 Argument von ABPFn ist ein fall von Collection %n{nicht} |
(domain ASPFn 1 Collection) | UXExperimentalTerms.kif 3270-3270 | Die Zahl 1 Argument von ASPFn ist ein fall von Collection %n{nicht} |
(domain AuctionGMBFn 1 Collection) | UXExperimentalTerms.kif 3193-3193 | Die Zahl 1 Argument von AuctionGMBFn ist ein fall von Collection %n{nicht} |
(domain BidCountFn 1 Collection) | UXExperimentalTerms.kif 2912-2912 | Die Zahl 1 Argument von BidCountFn ist ein fall von Collection %n{nicht} |
(domain BoughtItemsFn 1 Collection) | UXExperimentalTerms.kif 2878-2878 | Die Zahl 1 Argument von BoughtItemsFn ist ein fall von Collection %n{nicht} |
(domain ClickThroughRateFn 1 Collection) | UXExperimentalTerms.kif 3327-3327 | Die Zahl 1 Argument von ClickThroughRateFn ist ein fall von Collection %n{nicht} |
(domain ConversionRateFn 1 Collection) | UXExperimentalTerms.kif 2841-2841 | Die Zahl 1 Argument von ConversionRateFn ist ein fall von Collection %n{nicht} |
(domain GMBFn 1 Collection) | UXExperimentalTerms.kif 2947-2947 | Die Zahl 1 Argument von GMBFn ist ein fall von Collection %n{nicht} |
(domain GMVFn 1 Collection) | UXExperimentalTerms.kif 2990-2990 | Die Zahl 1 Argument von GMVFn ist ein fall von Collection %n{nicht} |
(domain SCRFn 1 Collection) | UXExperimentalTerms.kif 3658-3658 | Die Zahl 1 Argument von SCRFn ist ein fall von Collection %n{nicht} |
(domain chromosomeSetCount 2 Collection) | VirusProteinAndCellPart.kif 823-823 | Die Zahl 2 Argument von chromosomeSetCount ist ein fall von Collection %n{nicht} |
(domain controlGroup 1 Collection) | UXExperimentalTerms.kif 3841-3841 | Die Zahl 1 Argument von controlGroup ist ein fall von Collection %n{nicht} |
(domain experimentalTreatmentCollection 1 Collection) | UXExperimentalTerms.kif 4034-4034 | Die Zahl 1 Argument von experimentalTreatmentCollection ist ein fall von Collection %n{nicht} |
(domain firstTimeBuyers 3 Collection) | UXExperimentalTerms.kif 3519-3519 | Die Zahl 3 Argument von firstTimeBuyers ist ein fall von Collection %n{nicht} |
(domain firstTimeSellers 3 Collection) | UXExperimentalTerms.kif 3567-3567 | Die Zahl 3 Argument von firstTimeSellers ist ein fall von Collection %n{nicht} |
(domain fleetDeadWeightTonnage 1 Collection) | Transportation.kif 1003-1003 | Die Zahl 1 Argument von fleetDeadWeightTonnage ist ein fall von Collection %n{nicht} |
(domain fleetGrossRegisteredTonnage 1 Collection) | Transportation.kif 985-985 | Die Zahl 1 Argument von fleetGrossRegisteredTonnage ist ein fall von Collection %n{nicht} |
(domain inventory 2 Collection) | Mid-level-ontology.kif 22770-22770 | Die Zahl 2 Argument von inventory ist ein fall von Collection %n{nicht} |
(domain meceCollection 1 Collection) | UXExperimentalTerms.kif 4609-4609 | Die Zahl 1 Argument von meceCollection ist ein fall von Collection %n{nicht} |
(domain meceCollection 2 Collection) | UXExperimentalTerms.kif 4611-4611 | Die Zahl 2 Argument von meceCollection ist ein fall von Collection %n{nicht} |
(domain member 2 Collection) | Merge.kif 1280-1280 | Die Zahl 2 Argument von mitglied ist ein fall von Collection %n{nicht} |
(domain memberAtTime 2 Collection) | Mid-level-ontology.kif 22752-22752 | Die Zahl 2 Argument von memberAtTime ist ein fall von Collection %n{nicht} |
(domain memberCount 1 Collection) | Mid-level-ontology.kif 22686-22686 | Die Zahl 1 Argument von memberCount ist ein fall von Collection %n{nicht} |
(domain memberType 1 Collection) | Mid-level-ontology.kif 22701-22701 | Die Zahl 1 Argument von memberType ist ein fall von Collection %n{nicht} |
(domain memberTypeCount 1 Collection) | Mid-level-ontology.kif 22715-22715 | Die Zahl 1 Argument von memberTypeCount ist ein fall von Collection %n{nicht} |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |
(=> (and (instance ?AGENT AutonomousAgent) (instance ?SITE WebSite)) (exists (?COLL) (and (instance ?COLL Collection) (forall (?LISTING) (=> (and (instance ?LISTING WebListing) (hostedOn ?LISTING ?SITE) (listingSeller ?LISTING ?AGENT)) (member ?LISTING ?COLL))) (equal (SellersItemsFn ?AGENT ?SITE) ?COLL)))) |
UXExperimentalTerms.kif 992-1008 |
|
(=> (and (instance ?ATC AddToCart) (instance ?OBJ Object) (patient ?ATC ?OBJ) (agent ?ATC ?USER)) (exists (?COLL ?SITE ?AFTER ?INTERVAL) (and (instance ?COLL Collection) (instance ?SITE WebSite) (instance ?INTERVAL TimeInterval) (webcart ?USER ?COLL ?SITE) (equal (BeginFn ?INTERVAL) (EndFn ?ATC)) (holdsDuring ?AFTER (member ?OBJ ?COLL))))) |
UXExperimentalTerms.kif 1326-1342 |
|
(=> (and (instance ?C Crystal) (attribute ?C MonoCrystalline) (instance ?SUB Substance) (attribute ?SUB Solid) (attribute ?SUB PolyCrystalline) (instance ?S Substance) (surface ?S ?SUB) (not (part ?C ?S))) (exists (?CLNT ?X ?MBR) (and (instance ?CLNT Collection) (memberCount ?CLNT ?X) (greaterThanOrEqualTo ?X 4) (=> (member ?MBR ?CLNT) (and (part ?MBR ?SUB) (meetsSpatially ?C ?MBR)))))) |
Geography.kif 7142-7162 |
|
(=> (and (instance ?G Grinding) (patient ?G ?O) (instance ?O CorpuscularObject)) (holdsDuring (EndFn (WhenFn ?G)) (exists (?C) (and (result ?G ?C) (instance ?C Collection) (forall (?M) (=> (member ?M ?C) (part ?M ?O))))))) |
Food.kif 1012-1026 |
|
(=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWBUYERS) (and (instance ?NEWBUYERS Collection) (forall (?AGENT) (=> (member ?AGENT ?NEWBUYERS) (and (exists (?BUYING) (and (instance ?AGENT AutonomousAgent) (instance ?BUYING Buying) (agent ?BUYING ?AGENT) (instrument ?BUYING ?SITE) (during ?BUYING ?INTERVAL))) (not (exists (?INTERVAL_BEFORE) (and (instance ?INTERVAL_BEFORE TimeInterval) (earlier ?INTERVAL_BEFORE ?INTERVAL) (holdsDuring ?INTERVAL_BEFORE (exists (?BUYING_BEFORE) (and (instance ?BUYING_BEFORE Buying) (agent ?BUYING_BEFORE ?AGENT) (instrument ?BUYING_BEFORE ?SITE) (during ?BUYING_BEFORE ?INTERVAL)))))))))) (equal (SiteWideNewBuyersFn ?INTERVAL ?SITE) ?NEWBUYERS)))) |
UXExperimentalTerms.kif 3376-3408 |
|
(=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWREGISTRATIONS) (and (instance ?NEWREGISTRATIONS Collection) (forall (?USER) (=> (and (instance ?USER Human) (not (exists (?INTERVAL_BEFORE) (and (instance ?INTERVAL_BEFORE TimeInterval) (earlier ?INTERVAL_BEFORE ?INTERVAL) (holdsDuring ?INTERVAL_BEFORE (registeredUser ?USER ?SITE))))) (exists (?INTERVAL_DURING) (and (instance ?INTERVAL_DURING TimeInterval) (during ?INTERVAL_DURING ?INTERVAL) (holdsDuring ?INTERVAL (registeredUser ?USER ?SITE))))) (member ?USER ?NEWREGISTRATIONS))) (equal ?NEWREGISTRATIONS (SiteWideNewRegistrationsFn ?INTERVAL ?SITE))))) |
UXExperimentalTerms.kif 3428-3455 |
|
(=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWSELLERS) (and (instance ?NEWSELLERS Collection) (forall (?AGENT) (=> (member ?AGENT ?NEWSELLERS) (and (exists (?SELLING) (and (instance ?AGENT AutonomousAgent) (instance ?SELLING Selling) (agent ?SELLING ?AGENT) (instrument ?SELLING ?SITE) (during ?SELLING ?INTERVAL))) (not (exists (?INTERVAL_BEFORE) (and (instance ?INTERVAL_BEFORE TimeInterval) (earlier ?INTERVAL_BEFORE ?INTERVAL) (holdsDuring ?INTERVAL_BEFORE (exists (?SELLING_BEFORE) (and (instance ?SELLING_BEFORE Selling) (agent ?SELLING_BEFORE ?AGENT) (instrument ?SELLING_BEFORE ?SITE) (during ?SELLING_BEFORE ?INTERVAL)))))))))) (equal (SiteWideNewSellersFn ?INTERVAL ?SITE) ?NEWSELLERS)))) |
UXExperimentalTerms.kif 3475-3507 |
|
(=> (and (instance ?VARIABLE Process) (instance ?EXPERIMENT Experimenting) (instance ?AGENT AutonomousAgent) (experiencer ?AGENT AutonomousAgent) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (exists (?CONTROL_GROUP) (and (instance ?CONTROL_GROUP Collection) (member ?AGENT ?CONTROL_GROUP) (controlGroup ?CONTROL_GROUP ?EXPERIMENT)))) |
UXExperimentalTerms.kif 3851-3862 |
|
(=> (and (instance ?VARIABLE Process) (instance ?EXPERIMENT Experimenting) (instance ?AGENT AutonomousAgent) (experiencer ?AGENT AutonomousAgent) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (exists (?TREATMENT_GROUP) (and (instance ?TREATMENT_GROUP Collection) (member ?AGENT ?TREATMENT_GROUP) (treatmentGroup ?TREATMENT_GROUP ?EXPERIMENT)))) |
UXExperimentalTerms.kif 3968-3979 |
|
(=> (and (instance ?VISITS Collection) (instance ?HYPERLINK HypertextLink) (forall (?ACCESSING) (and (member ?ACCESSING ?PAGE) (and (instance ?ACCESSING AccessingWebPage) (component ?PAGE ?HYPERLINK))))) (exists (?CLICKS) (and (instance ?CLICKS Collection) (forall (?CLICK) (=> (and (instance ?CLICK RequestingHyperlink) (patient ?CLICK ?HYPERLINK)) (member ?CLICK ?CLICKS))) (equal (ClickThroughRateFn ?VISITS ?HYPERLINK) (DivisionFn (CardinalityFn ?CLICKS) (CardinalityFn ?VISITS)))))) |
UXExperimentalTerms.kif 3333-3356 |
|
(=> (and (instance ?WATCH WatchItem) (instance ?OBJ Object) (patient ?WATCH ?OBJ) (agent ?WATCH ?USER)) (exists (?COLL ?SITE ?AFTER ?INTERVAL) (and (instance ?COLL Collection) (instance ?SITE WebSite) (instance ?INTERVAL TimeInterval) (watchingListings ?USER ?COLL ?SITE) (equal (BeginFn ?INTERVAL) (EndFn ?WATCH)) (holdsDuring ?AFTER (member ?OBJ ?COLL))))) |
UXExperimentalTerms.kif 1605-1621 |
|
(=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL1) (instance ?MEMBER SelfConnectedObject)) (exists (?COLL3) (and (instance ?COLL3 Collection) (member ?MEMBER ?COLL3) (member ?COLL3 ?COLL2)))) |
UXExperimentalTerms.kif 4627-4636 |
|
(=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL2) (instance ?MEMBER SelfConnectedObject)) (instance ?MEMBER Collection)) |
UXExperimentalTerms.kif 4620-4625 |
|
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (desires ?A (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G))))) |
Mid-level-ontology.kif 30980-30995 |
|
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (desires ?A (exists (?G) (and (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G))))) |
Mid-level-ontology.kif 30922-30932 |
|
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (not (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G))))) |
Mid-level-ontology.kif 30947-30962 |
|
(=> (attribute ?COLLECTION LineFormation) (instance ?COLLECTION Collection)) |
Mid-level-ontology.kif 19457-19459 |
|
(=> (attribute ?X Florists) (hasPurpose ?X (exists (?FLOWER ?PROC) (and (instance ?PROC Designing) (instance ?FLOWER Collection) (memberType ?FLOWER Flower) (patient ?PROC ?FLOWER) (agent ?PROC ?X))))) |
naics.kif 7773-7782 |
|
(=> (breathingRate ?H ?T ?I) (exists (?C ?M) (and (instance ?C Collection) (memberType ?C Breath) (memberCount ?C ?I) (=> (member ?M ?C) (and (patient ?M ?H) (during (WhenFn ?M) ?T)))))) |
Mid-level-ontology.kif 10413-10425 |
|
(=> (coilCount ?WC ?N) (exists (?C ?C2F) (and (instance ?C Collection) (memberCount ?C ?N) (forall (?M) (=> (member ?M ?C) (and (attribute ?M ?C2F) (instance ?C2F ClosedTwoDimensionalFigure) (part ?M ?WC) (not (exists (?M2) (and (overlapsSpatially ?M2 ?M) (member ?M2 ?C)))))))))) |
Cars.kif 3101-3118 |
|
(=> (engineCylinders ?E ?N) (exists (?G ?EC) (and (instance ?G Collection) (memberTypeCount ?G EngineCylinder ?N) (member ?EC ?G) (part ?EC ?E)))) |
Cars.kif 4516-4523 |
|
(=> (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE) (subclass ?PRODUCTTYPE Collection)) |
Media.kif 3185-3187 |
|
(=> (heartRate ?H ?T ?I) (exists (?C ?M) (and (instance ?C Collection) (memberType ?C HeartBeat) (memberCount ?C ?I) (=> (member ?M ?C) (and (patient ?M ?H) (during (WhenFn ?M) ?T)))))) |
Mid-level-ontology.kif 10372-10384 |
|
(=> (instance ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE HoleRegion) (part ?HOLE ?ADAPT) (material Metal ?ADAPT)))) |
Mid-level-ontology.kif 26001-26008 |
|
(=> (instance ?B BowlingBall) (exists (?HOLES) (and (instance ?HOLES Collection) (memberType ?HOLES HoleRegion) (memberCount ?HOLES 3) (located ?HOLES ?B) (hasPurpose ?HOLES (exists (?FINGER ?HOLE) (and (member ?HOLE ?HOLES) (instance ?FINGER Finger) (partiallyFills ?FINGER ?HOLE))))))) |
Sports.kif 1126-1139 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
(domain CardinalityFn 1 (UnionFn SetOrClass Collection)) |
Merge.kif 5509-5509 | Die Zahl 1 Argument von CardinalityFn ist ein fall von die vereinigung von SetOrClass und Collection %n{nicht} |