Collection
|
|
appearance as argument number 1 |
(disjoint Collection SelfConnectedObject) | Merge.kif 1262-1262 | コレクション と 自己接続オブジェクト は disjoint では %n |
(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 | コレクション は オブジェクト の subclass では %n |
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 | ABPFn の数値 1 引数は コレクション の instance では %n |
(domain ASPFn 1 Collection) | UXExperimentalTerms.kif 3270-3270 | ASPFn の数値 1 引数は コレクション の instance では %n |
(domain AuctionGMBFn 1 Collection) | UXExperimentalTerms.kif 3193-3193 | AuctionGMBFn の数値 1 引数は コレクション の instance では %n |
(domain BidCountFn 1 Collection) | UXExperimentalTerms.kif 2912-2912 | BidCountFn の数値 1 引数は コレクション の instance では %n |
(domain BoughtItemsFn 1 Collection) | UXExperimentalTerms.kif 2878-2878 | BoughtItemsFn の数値 1 引数は コレクション の instance では %n |
(domain ClickThroughRateFn 1 Collection) | UXExperimentalTerms.kif 3327-3327 | ClickThroughRateFn の数値 1 引数は コレクション の instance では %n |
(domain ConversionRateFn 1 Collection) | UXExperimentalTerms.kif 2841-2841 | ConversionRateFn の数値 1 引数は コレクション の instance では %n |
(domain GMBFn 1 Collection) | UXExperimentalTerms.kif 2947-2947 | GMBFn の数値 1 引数は コレクション の instance では %n |
(domain GMVFn 1 Collection) | UXExperimentalTerms.kif 2990-2990 | GMVFn の数値 1 引数は コレクション の instance では %n |
(domain SCRFn 1 Collection) | UXExperimentalTerms.kif 3658-3658 | SCRFn の数値 1 引数は コレクション の instance では %n |
(domain chromosomeSetCount 2 Collection) | VirusProteinAndCellPart.kif 823-823 | chromosomeSetCount の数値 2 引数は コレクション の instance では %n |
(domain controlGroup 1 Collection) | UXExperimentalTerms.kif 3841-3841 | controlGroup の数値 1 引数は コレクション の instance では %n |
(domain experimentalTreatmentCollection 1 Collection) | UXExperimentalTerms.kif 4034-4034 | experimentalTreatmentCollection の数値 1 引数は コレクション の instance では %n |
(domain firstTimeBuyers 3 Collection) | UXExperimentalTerms.kif 3519-3519 | firstTimeBuyers の数値 3 引数は コレクション の instance では %n |
(domain firstTimeSellers 3 Collection) | UXExperimentalTerms.kif 3567-3567 | firstTimeSellers の数値 3 引数は コレクション の instance では %n |
(domain fleetDeadWeightTonnage 1 Collection) | Transportation.kif 1003-1003 | fleetDeadWeightTonnage の数値 1 引数は コレクション の instance では %n |
(domain fleetGrossRegisteredTonnage 1 Collection) | Transportation.kif 985-985 | fleetGrossRegisteredTonnage の数値 1 引数は コレクション の instance では %n |
(domain inventory 2 Collection) | Mid-level-ontology.kif 22717-22717 | inventory の数値 2 引数は コレクション の instance では %n |
(domain meceCollection 1 Collection) | UXExperimentalTerms.kif 4609-4609 | meceCollection の数値 1 引数は コレクション の instance では %n |
(domain meceCollection 2 Collection) | UXExperimentalTerms.kif 4611-4611 | meceCollection の数値 2 引数は コレクション の instance では %n |
(domain member 2 Collection) | Merge.kif 1280-1280 | member の数値 2 引数は コレクション の instance では %n |
(domain memberAtTime 2 Collection) | Mid-level-ontology.kif 22699-22699 | memberAtTime の数値 2 引数は コレクション の instance では %n |
(domain memberCount 1 Collection) | Mid-level-ontology.kif 22633-22633 | memberCount の数値 1 引数は コレクション の instance では %n |
(domain memberType 1 Collection) | Mid-level-ontology.kif 22648-22648 | memberType の数値 1 引数は コレクション の instance では %n |
(domain memberTypeCount 1 Collection) | Mid-level-ontology.kif 22662-22662 | memberTypeCount の数値 1 引数は コレクション の instance では %n |
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 30944-30959 |
|
(=> (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 30886-30896 | |
(=> (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 30911-30926 |
|
(=> (attribute ?COLLECTION LineFormation) (instance ?COLLECTION Collection)) |
Mid-level-ontology.kif 19429-19431 | |
(=> (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 10385-10397 | |
(=> (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 3124-3141 | |
(=> (engineCylinders ?E ?N) (exists (?G ?EC) (and (instance ?G Collection) (memberTypeCount ?G EngineCylinder ?N) (member ?EC ?G) (part ?EC ?E)))) |
Cars.kif 4539-4546 | |
(=> (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE) (subclass ?PRODUCTTYPE Collection)) |
Media.kif 3203-3205 | |
(=> (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 10344-10356 | |
(=> (instance ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE HoleRegion) (part ?HOLE ?ADAPT) (material Metal ?ADAPT)))) |
Mid-level-ontology.kif 25956-25963 | |
(=> (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 5508-5508 | CardinalityFn の数値 1 引数は 同じセットまたはクラス と コレクション の union の instance では %n |