Collection - Sigma Knowledge base Browser

appearance as argument number 1

appearance as argument number 2

(instance UnitedStatesMinorOutlyingIslands Collection)	Media.kif 2577-2577	instance UnitedStatesMinorOutlyingIslands and コレクション
(range QPViewsFn Collection)	UXExperimentalTerms.kif 4366-4366	range QPViewsFn and コレクション
(range QualifiedTreatmentsFn Collection)	UXExperimentalTerms.kif 4431-4431	range QualifiedTreatmentsFn and コレクション
(range QualifyingEventsFn Collection)	UXExperimentalTerms.kif 4398-4398	range QualifyingEventsFn and コレクション
(range QualifyingPurchasesFn Collection)	UXExperimentalTerms.kif 3239-3239	range QualifyingPurchasesFn and コレクション
(range SellersItemsFn Collection)	UXExperimentalTerms.kif 1181-1181	range SellersItemsFn and コレクション
(range SellersOtherItemsFn Collection)	UXExperimentalTerms.kif 1220-1220	range SellersOtherItemsFn and コレクション
(range SiteWideNewBuyersFn Collection)	UXExperimentalTerms.kif 3562-3562	range SiteWideNewBuyersFn and コレクション
(range SiteWideNewRegistrationsFn Collection)	UXExperimentalTerms.kif 3615-3615	range SiteWideNewRegistrationsFn and コレクション
(range SiteWideNewSellersFn Collection)	UXExperimentalTerms.kif 3662-3662	range SiteWideNewSellersFn and コレクション
(range TreatedUsersFn Collection)	UXExperimentalTerms.kif 4471-4471	range TreatedUsersFn and コレクション
(subclass Archipelago Collection)	Geography.kif 5503-5503	subclass Archipelago and コレクション
(subclass Buffet Collection)	Dining.kif 258-258	subclass Buffet and コレクション
(subclass ClothingSuit Collection)	Mid-level-ontology.kif 5577-5577	subclass ClothingSuit and コレクション
(subclass CommunicationSystem Collection)	Mid-level-ontology.kif 7325-7325	subclass CommunicationSystem and コレクション
(subclass Convoy Collection)	Mid-level-ontology.kif 20151-20151	subclass Convoy and コレクション
(subclass Discography Collection)	Music.kif 60-60	subclass Discography and コレクション
(subclass FireSprinklerSystem Collection)	Mid-level-ontology.kif 23364-23364	subclass FireSprinklerSystem and コレクション
(subclass Fleet Collection)	Mid-level-ontology.kif 4049-4049	subclass Fleet and コレクション
(subclass GolgiApparatus Collection)	VirusProteinAndCellPart.kif 472-472	subclass GolgiApparatus and コレクション
(subclass Group Collection)	Merge.kif 16427-16427	subclass グループ and コレクション
(subclass HotelMiniBar Collection)	Hotel.kif 1662-1662	subclass HotelMiniBar and コレクション
(subclass Industry Collection)	Mid-level-ontology.kif 12711-12711	subclass Industry and コレクション
(subclass InlandWaterSystem Collection)	Geography.kif 5006-5006	subclass InlandWaterSystem and コレクション
(subclass Meal Collection)	Food.kif 136-136	subclass Meal and コレクション

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 3432-3432	domain ABPFn, 1 and コレクション
(domain ASPFn 1 Collection)	UXExperimentalTerms.kif 3475-3475	domain ASPFn, 1 and コレクション
(domain AuctionGMBFn 1 Collection)	UXExperimentalTerms.kif 3397-3397	domain AuctionGMBFn, 1 and コレクション
(domain BidCountFn 1 Collection)	UXExperimentalTerms.kif 3117-3117	domain BidCountFn, 1 and コレクション
(domain BoughtItemsFn 1 Collection)	UXExperimentalTerms.kif 3084-3084	domain BoughtItemsFn, 1 and コレクション
(domain ClickThroughRateFn 1 Collection)	UXExperimentalTerms.kif 3521-3521	domain ClickThroughRateFn, 1 and コレクション
(domain ConversionRateFn 1 Collection)	UXExperimentalTerms.kif 3048-3048	domain ConversionRateFn, 1 and コレクション
(domain GMBFn 1 Collection)	UXExperimentalTerms.kif 3151-3151	domain GMBFn, 1 and コレクション
(domain GMVFn 1 Collection)	UXExperimentalTerms.kif 3194-3194	domain GMVFn, 1 and コレクション
(domain SCRFn 1 Collection)	UXExperimentalTerms.kif 3854-3854	domain SCRFn, 1 and コレクション
(domain controlGroup 1 Collection)	UXExperimentalTerms.kif 4036-4036	domain controlGroup, 1 and コレクション
(domain experimentalTreatmentCollection 1 Collection)	UXExperimentalTerms.kif 4229-4229	domain experimentalTreatmentCollection, 1 and コレクション
(domain firstTimeBuyers 3 Collection)	UXExperimentalTerms.kif 3715-3715	domain firstTimeBuyers, 3 and コレクション
(domain firstTimeSellers 3 Collection)	UXExperimentalTerms.kif 3763-3763	domain firstTimeSellers, 3 and コレクション
(domain fleetDeadWeightTonnage 1 Collection)	Transportation.kif 977-977	domain fleetDeadWeightTonnage, 1 and コレクション
(domain fleetGrossRegisteredTonnage 1 Collection)	Transportation.kif 959-959	domain fleetGrossRegisteredTonnage, 1 and コレクション
(domain inventory 2 Collection)	Mid-level-ontology.kif 20592-20592	domain inventory, 2 and コレクション
(domain meceCollection 1 Collection)	UXExperimentalTerms.kif 4800-4800	domain meceCollection, 1 and コレクション
(domain meceCollection 2 Collection)	UXExperimentalTerms.kif 4802-4802	domain meceCollection, 2 and コレクション
(domain member 2 Collection)	Merge.kif 1314-1314	domain member, 2 and コレクション
(domain memberAtTime 2 Collection)	Mid-level-ontology.kif 20574-20574	domain memberAtTime, 2 and コレクション
(domain memberCount 1 Collection)	Mid-level-ontology.kif 20501-20501	domain memberCount, 1 and コレクション
(domain memberType 1 Collection)	Mid-level-ontology.kif 20523-20523	domain memberType, 1 and コレクション
(domain memberTypeCount 1 Collection)	Mid-level-ontology.kif 20537-20537	domain memberTypeCount, 1 and コレクション
(domain newRegisteredUsers 3 Collection)	UXExperimentalTerms.kif 3811-3811	domain newRegisteredUsers, 3 and コレクション

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (instance ?AUCTIONS Collection) (forall (?AUC) (=> (member ?AUC ?AUCTIONS) (instance ?AUC Auctioning)))) (and (total (KappaFn ?AMOUNT (and (instance ?AUCTION Auctioning) (member ?AUCTION ?AUCTIONS) (transactionAmount ?AUCTION ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT) (equal (AuctionGMBFn ?AUCTIONSS) ?TOTAL_PURCHASE_AMOUNT)))	UXExperimentalTerms.kif 3406-3421	instance コレクション and コレクションオブジェクト member オブジェクト and コレクション instance オブジェクト and Auctioning total KappaFn 記号文字列 and instance オブジェクトTION and Auctioning member オブジェクトTION and コレクション transactionAmount オブジェクトTION and 記号文字列 and エンティティー_PURCHASE_AMOUNT equal AuctionGMBFn コレクションS and エンティティー_PURCHASE_AMOUNT
(=> (and (instance ?BUYINGS Collection) (instance ?GMB CurrencyMeasure) (instance ?TOTAL RealNumber) (equal ?GMB (GMBFn ?BUYINGS)) (equal ?TOTAL (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Object) (exists (?BUYING) (and (member ?BUYING ?BUYINGS) (patient ?ITEM ?BUYING)))))))) (equal (ABPFn ?BUYINGS) (DivisionFn ?GMB ?TOTAL)))	UXExperimentalTerms.kif 3444-3464	instance コレクション and コレクション instance 通貨測定 and 通貨測定 instance 整数 and 実数 equal 通貨測定 and GMBFn コレクション equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and オブジェクトエンティティー member エンティティー and コレクション patient 記号文字列 and エンティティー equal ABPFn コレクション and DivisionFn 通貨測定 and 整数
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER FinancialTransaction)))) (equal (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Physical) (instance ?BUYING Buying) (member ?BUYING ?COLL) (patient ?BUYING ?ITEM)))) (BoughtItemsFn ?COLL)))	UXExperimentalTerms.kif 3093-3108	instance コレクション and コレクションオブジェクト member オブジェクト and コレクション instance オブジェクト and 金融取引 equal CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 物理 instance エンティティー and 購買 member エンティティー and コレクション patient エンティティー and 記号文字列 and BoughtItemsFn コレクション
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (equal (CardinalityFn (KappaFn ?BIDDING (and (instance ?ITEM Physical) (instance ?LISTING WebListing) (instance ?BIDDING Bidding) (member ?LISTING ?COLL) (objectOfBid ?BIDDING ?ITEM) (patient ?LISTING ?ITEM)))) (BidCountFn ?COLL)))	UXExperimentalTerms.kif 3127-3144	instance コレクション and コレクションオブジェクト member オブジェクト and コレクション instance オブジェクト and WebListing equal CardinalityFn KappaFn 記号文字列 and instance エンティティー and 物理 instance エンティティー and WebListing instance 記号文字列 and Bidding member エンティティー and コレクション objectOfBid 記号文字列 and エンティティー patient エンティティー and エンティティー and BidCountFn コレクション
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (equal (DivisionFn (CardinalityFn (KappaFn ?LISTING (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (instance ?ITEM Physical) (member ?LISTING ?COLL) (patient ?LISTING ?ITEM) (hostedOn ?LISTING ?SITE) (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?ITEM) (eCommerceSite ?BUYING ?SITE)))))) (CardinalityFn ?COLL)) (BidCountFn ?COLL)))	UXExperimentalTerms.kif 3052-3076	instance コレクション and コレクションオブジェクト member オブジェクト and コレクション instance オブジェクト and WebListing equal DivisionFn CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and WebListing instance エンティティー and WebSite instance エンティティー and 物理 member 記号文字列 and コレクション patient 記号文字列 and エンティティー hostedOn 記号文字列 and エンティティーエンティティー instance エンティティー and 購買 patient エンティティー and エンティティー eCommerceSite エンティティー and エンティティー and CardinalityFn コレクション and BidCountFn コレクション
(=> (and (instance ?COLL Collection) (instance ?SITE WebSite) (instance ?AGENT Agent) (instance ?LISTING WebListing) (instance ?TIME TimePoint) (listingSeller ?LISTING ?AGENT) (not (member ?LISTING ?COLL)) (forall (?ITEM) (=> (and (instance ?ITEM WebListing) (member ?ITEM (SellersItemsFn ?AGENT ?SITE)) (temporalPart ?TIME (WhenFn ?ITEM)) (not (equal ?ITEM ?LISTING))) (member ?ITEM ?COLL))) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (and (temporalPart ?TIME (WhenFn ?ITEM)) (instance ?MEMBER WebListing))))) (equal (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL))	UXExperimentalTerms.kif 1229-1256	instance コレクション and コレクション instance WebSite and WebSite instance 代理(人) and 代理(人) instance WebListing and WebListing instance 時点 and 時点 listingSeller WebListing and 代理(人) member WebListing and コレクションオブジェクト instance オブジェクト and WebListing member オブジェクト and SellersItemsFn 代理(人) and WebSite temporalPart 時点 and WhenFn オブジェクト equal オブジェクト and WebListing member オブジェクト and コレクションオブジェクト member オブジェクト and コレクション temporalPart 時点 and WhenFn オブジェクト instance オブジェクト and WebListing equal SellersOtherItemsFn 代理(人), WebSite, WebListing and 時点 and コレクション
(=> (and (instance ?PURCHASES Collection) (forall (?MEMBER) (=> (member ?MEMBER ?PURCHASES) (instance ?MEMBER Buying))) (exists (?REGION) (and (instance ?REGION GeopoliticalArea) (forall (?BUYER ?BUYING) (=> (and (instance ?BUYER Agent) (instance ?BUYING Buying) (member ?BUYING ?PURCHASES) (agent ?BUYING ?BUYER)) (located ?BUYER ?REGION)))))) (and (total (KappaFn ?AMOUNT (and (instance ?PURCHASE Buying) (member ?PURCHASE ?PURCHASES) (transactionAmount ?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT) (equal (GMBFn ?PURCHASES) ?TOTAL_PURCHASE_AMOUNT)))	UXExperimentalTerms.kif 3160-3186	instance コレクション and コレクションオブジェクト member オブジェクト and コレクション instance オブジェクト and 購買オブジェクト instance オブジェクト and 地政学的地域代理(人) オブジェクト instance 代理(人) and 代理(人) instance オブジェクト and 購買 member オブジェクト and コレクション agent オブジェクト and 代理(人) located 代理(人) and オブジェクト total KappaFn 記号文字列 and instance エンティティー and 購買 member エンティティー and コレクション transactionAmount エンティティー and 記号文字列 and エンティティー_PURCHASE_AMOUNT equal GMBFn コレクション and エンティティー_PURCHASE_AMOUNT
(=> (and (instance ?SALES Collection) (forall (?MEMBER) (=> (member ?MEMBER ?SALES) (instance ?MEMBER Selling))) (exists (?REGION) (and (instance ?REGION GeopoliticalArea) (forall (?SELLER ?SELLING) (=> (and (instance ?SELLER Agent) (instance ?SELLING Buying) (member ?SELLING ?SALES) (agent ?SELLING ?SELLER)) (located ?SELLER ?REGION)))))) (and (total (KappaFn ?AMOUNT (and (instance ?SALE Selling) (member ?SALE ?SALES) (transactionAmount ?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT) (equal (GMVFn ?SALES) ?TOTAL_SALE_AMOUNT)))	UXExperimentalTerms.kif 3203-3229	instance コレクション and コレクションオブジェクト member オブジェクト and コレクション instance オブジェクト and 販売オブジェクト instance オブジェクト and 地政学的地域代理(人) オブジェクト instance 代理(人) and 代理(人) instance オブジェクト and 購買 member オブジェクト and コレクション agent オブジェクト and 代理(人) located 代理(人) and オブジェクト total KappaFn 記号文字列 and instance エンティティー and 販売 member エンティティー and コレクション transactionAmount エンティティー and 記号文字列 and エンティティー_SALE_AMOUNT equal GMVFn コレクション and エンティティー_SALE_AMOUNT
(=> (and (instance ?SAMPLE_COLL Collection) (instance ?POP_COLL Collection) (instance ?EXPERIMENT Experimenting) (instance ?AGENT CognitiveAgent) (agent ?EXPERIMENT ?AGENT) (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT)) (forall (?ATTRIBUTE) (=> (and (instance ?ATTRIBUTE Attribute) (property ?SAMPLE_COLL ?ATTRIBUTE) (inScopeOfInterest ?AGENT ?ATTRIBUTE) (not (equal ?ATTRIBUTE RepresentativeSample))) (property ?POP_COLL ?ATTRIBUTE))))	UXExperimentalTerms.kif 627-643	instance エンティティー_COLL and コレクション instance エンティティー_COLL and コレクション instance Experimenting and Experimenting instance 認識エージェント and 認識エージェント agent Experimenting and 認識エージェント statisticalPopulation エンティティー_COLL, エンティティー_COLL and Experimenting 属性 instance 属性 and 属性 property エンティティー_COLL and 属性 inScopeOfInterest 認識エージェント and 属性 equal 属性 and RepresentativeSample property エンティティー_COLL and 属性
(=> (and (instance ?SAMPLE_COLL Collection) (instance ?POP_COLL Collection) (instance ?EXPERIMENT Experimenting) (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT)) (subCollection ?SAMPLE_COLL ?POP_COLL))	UXExperimentalTerms.kif 606-612	instance エンティティー_COLL and コレクション instance エンティティー_COLL and コレクション instance Experimenting and Experimenting statisticalPopulation エンティティー_COLL, エンティティー_COLL and Experimenting subCollection エンティティー_COLL and エンティティー_COLL
(=> (and (instance ?SELLINGS Collection) (instance ?GMV CurrencyMeasure) (instance ?TOTAL RealNumber) (equal ?GMV (GMVFn ?SELLINGS)) (equal ?TOTAL (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Object) (exists (?SELLING) (and (member ?SELLING ?SELLINGS) (patient ?ITEM ?BUYING)))))))) (equal (ASPFn ?SELLINGS) (DivisionFn ?GMV ?TOTAL)))	UXExperimentalTerms.kif 3487-3507	instance コレクション and コレクション instance 通貨測定 and 通貨測定 instance 整数 and 実数 equal 通貨測定 and GMVFn コレクション equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and オブジェクトエンティティー member エンティティー and コレクション patient 記号文字列 and エンティティー equal ASPFn コレクション and DivisionFn 通貨測定 and 整数
(=> (and (instance ?VISITOR Human) (instance ?COLL Collection) (forall (?EXPERIMENTING ?EVENT) (=> (and (instance ?EXPERIMENTING Experimenting) (instance ?EVENT Process) (member ?EVENT (QualifyingEventsFn ?EXPERIMENT)) (capability ?EVENT experiencer ?VISITOR)) (member ?EVENT ?COLL))) (=> (member ?PROC ?COLL) (and (instance ?PROC Process) (exists (?EXP) (and (instance ?EXP Experimenting) (member ?PROC (QualifyingEventsFn ?EXP)) (capability ?PROC experiencer ?VISITOR)))))) (equal (QualifiedTreatmentsFn ?VISITOR) ?COLL))	UXExperimentalTerms.kif 4439-4462	instance 人［人間］ and 人［人間］ instance コレクション and コレクションエンティティー工程 instance エンティティー and Experimenting instance 工程 and 工程 member 工程 and QualifyingEventsFn Experimenting capability 工程, experiencer and 人［人間］ member 工程 and コレクション member 工程 and コレクション instance 工程 and 工程 Experimenting instance Experimenting and Experimenting member 工程 and QualifyingEventsFn Experimenting capability 工程, experiencer and 人［人間］ equal QualifiedTreatmentsFn 人［人間］ and コレクション
(=> (and (instance ?VISITOR Human) (instance ?QPVIEWS Collection) (forall (?PAGE ?ACCESSING ?EXPERIMENT) (=> (and (instance ?PAGE WebPage) (instance ?ACCESSING AccessingWebPage) (instance ?EXPERIMENT Experimenting) (agent ?ACCESSING ?VISITOR) (patient ?ACCESSING ?PAGE) (treatedPage ?PAGE ?EXPERIMENT)) (member ?ACCESSING ?QPVIEWS)))) (equal ?QPVIEWS (QPViewsFn ?VISITOR)))	UXExperimentalTerms.kif 4373-4388	instance 人［人間］ and 人［人間］ instance コレクション and コレクション WebPage 工程 and Experimenting instance WebPage and WebPage instance 工程 and AccessingWebPage instance Experimenting and Experimenting agent 工程 and 人［人間］ patient 工程 and WebPage treatedPage WebPage and Experimenting member 工程 and コレクション equal コレクション and QPViewsFn 人［人間］
(=> (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 3527-3550	instance コレクション and コレクション instance 微粒子オブジェクト and HypertextLink オブジェクト member オブジェクト and コレクション instance オブジェクト and AccessingWebPage component コレクション and 微粒子オブジェクトコレクション instance コレクション and コレクション工程 instance 工程 and RequestingHyperlink patient 工程 and 微粒子オブジェクト member 工程 and コレクション equal ClickThroughRateFn コレクション and 微粒子オブジェクト and DivisionFn CardinalityFn コレクション and CardinalityFn コレクション
(=> (and (instance ?VISITS Collection) (instance ?PURCHASES Collection) (subCollection ?PURCHASES ?VISITS) (forall (?MEMBER) (=> (member ?MEMBER ?VISITS) (instance ?MEMBER AccessingWebPage))) (forall (?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE) (=> (and (instance ?VISITOR Human) (instance ?BUYING Buying) (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (member ?ACCESSING ?VISITS) (destination ?ACCESSING ?PAGE) (agent ?BUYING ?VISITOR) (agent ?ACCESSING ?VISITOR) (during (WhenFn ?BUYING) (WhenFn ?ACCESSING)) (instrument ?BUYING ?PAGE)) (member ?BUYING ?QUALIFYING_PURCHASES)))) (equal (SCRFn ?VISITS ?INTERVAL) (DivisionFn (CardinalityFn (KappaFn ?PURCHASE_IN_INTERVAL (and (member ?PURCHASE_IN_INTERVAL ?PURCHASES) (during (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL)))) (CardinalityFn (KappaFn ?VISIT_IN_INTERVAL (and (member ?VISIT_IN_INTERVAL ?VISITS) (during (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL)))))))	UXExperimentalTerms.kif 3864-3899	instance コレクション and コレクション instance コレクション and コレクション subCollection コレクション and コレクションオブジェクト member オブジェクト and コレクション instance オブジェクト and AccessingWebPage 工程代理(人), オブジェクト, 工程 and オブジェクト instance 代理(人) and 人［人間］ instance 工程 and 購買 instance オブジェクト and AccessingWebPage instance オブジェクト and WebPage member オブジェクト and コレクション destination オブジェクト and オブジェクト agent 工程 and 代理(人) agent オブジェクト and 代理(人) during WhenFn 工程 and WhenFn オブジェクト instrument 工程 and オブジェクト member 工程 and エンティティー_PURCHASES equal SCRFn コレクション and 時間間隔 and DivisionFn CardinalityFn KappaFn エンティティー_IN_INTERVAL and member エンティティー_IN_INTERVAL and コレクション during WhenFn エンティティー_IN_INTERVAL and 時間間隔 and CardinalityFn KappaFn エンティティー_IN_INTERVAL and member エンティティー_IN_INTERVAL and コレクション during WhenFn エンティティー_IN_INTERVAL and 時間間隔
(=> (and (meceCollection ?COLL1 ?COLL2) (instance ?COLL3 Collection) (instance ?COLL4 Collection) (instance ?MEMBER SelfConnectedObject) (member ?MEMBER ?COLL1) (member ?COLL3 ?COLL2) (member ?COLL4 ?COLL2) (not (equal ?COLL3 ?COLL4))) (not (and (member ?MEMBER ?COLL3) (member ?MEMBER ?COLL4))))	UXExperimentalTerms.kif 4829-4843	meceCollection コレクション and コレクション instance コレクション and コレクション instance コレクション and コレクション instance オブジェクト and 自己接続オブジェクト member オブジェクト and コレクション member コレクション and コレクション member コレクション and コレクション equal コレクション and コレクション ~{ member オブジェクト and コレクション } ~{ member オブジェクト and コレクション }
(=> (instance ?COLL Collection) (exists (?OBJ) (member ?OBJ ?COLL)))	Merge.kif 1305-1308	instance コレクション and コレクションオブジェクト member オブジェクト and コレクション

consequent

(=> (and (instance ?AGENT Agent) (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 1188-1204	instance 代理(人) and 代理(人) instance WebSite and WebSite コレクション instance コレクション and コレクション WebListing instance WebListing and WebListing hostedOn WebListing and WebSite listingSeller WebListing and 代理(人) member WebListing and コレクション equal SellersItemsFn 代理(人) and WebSite and コレクション
(=> (and (instance ?ATC AddToCart) (instance ?OBJ Object) (patient ?ATC ?OBJ) (agent ?ATC ?USER)) (exists (?COLL ?SITE ?AFTER) (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 1523-1539	instance 時間間隔 and AddToCart instance エンティティー and オブジェクト patient 時間間隔 and エンティティー agent 時間間隔 and 代理(人) コレクション WebSite and 時間位置 instance コレクション and コレクション instance WebSite and Website instance 時間間隔 and 時間間隔 webcart 代理(人), コレクション and WebSite equal BeginFn 時間間隔 and EndFn 時間間隔 holdsDuring 時間位置 and member エンティティー and コレクション
(=> (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) (and (instance ?CLNT Collection) (memberCount ?CLNT ?X) (greaterThanOrEqualTo ?X 4) (=> (member ?MBR ?CLNT) (and (part ?MBR ?Sub) (meetsSpatially ?C ?MBR))))))	Geography.kif 6464-6484	instance オブジェクト and Crystal attribute オブジェクト and MonoCrystalline instance 自己接続オブジェクト and 物質 attribute 自己接続オブジェクト and Solid attribute 自己接続オブジェクト and PolyCrystalline instance 自己接続オブジェクト and 物質 surface 自己接続オブジェクト and 自己接続オブジェクト part オブジェクト and 自己接続オブジェクトオブジェクトLNT instance オブジェクトLNT and コレクション memberCount オブジェクトLNT and 整数 greaterThanOrEqualTo 整数 and 4 member オブジェクト and オブジェクトLNT part オブジェクト and 自己接続オブジェクト meetsSpatially オブジェクト and オブジェクト
(=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWBUYERS) (and (instance ?NEWBUYERS Collection) (instance ?BEFORE TimeInterval) (forall (?AGENT) (=> (member ?AGENT ?NEWBUYERS) (and (exists (?BUYING) (and (instance ?AGENT Agent) (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 3570-3603	instance 時間間隔 and 時間間隔 instance WebSite and WebSite コレクション instance コレクション and コレクション instance エンティティー and 時間間隔代理(人) member 代理(人) and コレクション時間間隔 instance 代理(人) and 代理(人) instance 時間間隔 and 購買 agent 時間間隔 and 代理(人) instrument 時間間隔 and WebSite during 時間間隔 and 時間間隔時間間隔_BEFORE instance 時間間隔_BEFORE and 時間間隔 earlier 時間間隔_BEFORE and 時間間隔 holdsDuring 時間間隔_BEFORE and 時間間隔_BEFORE instance 時間間隔_BEFORE and 購買 agent 時間間隔_BEFORE and 代理(人) instrument 時間間隔_BEFORE and WebSite during 時間間隔_BEFORE and 時間間隔 equal SiteWideNewBuyersFn 時間間隔 and WebSite and コレクション
(=> (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 ?INSTERVAL_DURING TimeInterval) (during ?INTERVAL_DURING ?INTERVAL) (holdsDuring ?INTERVAL (registeredUser ?USER ?SITE))))) (member ?USER ?NEWREGISTRATIONS))) (equal ?NEWREGISTRATIONS (SiteWideNewRegistrationsFn ?INTERVAL ?SITE)))))	UXExperimentalTerms.kif 3623-3650	instance 時間間隔 and 時間間隔 instance WebSite and WebSite コレクション instance コレクション and コレクションオブジェクト instance オブジェクト and 人［人間］時間間隔_BEFORE instance 時間間隔_BEFORE and 時間間隔 earlier 時間間隔_BEFORE and 時間間隔 holdsDuring 時間間隔_BEFORE and registeredUser オブジェクト and WebSite 時間間隔_DURING instance エンティティー_DURING and 時間間隔 during 時間間隔_DURING and 時間間隔 holdsDuring 時間間隔 and registeredUser オブジェクト and WebSite member オブジェクト and コレクション equal コレクション and SiteWideNewRegistrationsFn 時間間隔 and WebSite
(=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWSELLERS) (and (instance ?NEWSELLERS Collection) (instance ?BEFORE TimeInterval) (forall (?AGENT) (=> (member ?AGENT ?NEWSELLERS) (and (exists (?SELLING) (and (instance ?AGENT Agent) (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 3670-3703	instance 時間間隔 and 時間間隔 instance WebSite and WebSite コレクション instance コレクション and コレクション instance エンティティー and 時間間隔代理(人) member 代理(人) and コレクション時間間隔 instance 代理(人) and 代理(人) instance 時間間隔 and 販売 agent 時間間隔 and 代理(人) instrument 時間間隔 and WebSite during 時間間隔 and 時間間隔時間間隔_BEFORE instance 時間間隔_BEFORE and 時間間隔 earlier 時間間隔_BEFORE and 時間間隔 holdsDuring 時間間隔_BEFORE and 時間間隔_BEFORE instance 時間間隔_BEFORE and 販売 agent 時間間隔_BEFORE and 代理(人) instrument 時間間隔_BEFORE and WebSite during 時間間隔_BEFORE and 時間間隔 equal SiteWideNewSellersFn 時間間隔 and WebSite and コレクション
(=> (and (instance ?VARIABLE Process) (instance ?EXPERIMENT Experimenting) (instance ?AGENT Agent) (experiencer ?AGENT Agent) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (exists (?CONTROL_GROUP) (and (instance ?CONTROL_GROUP Collection) (member ?AGENT ?CONTROL_GROUP) (controlGroup ?CONTROL_GROUP ?EXPERIMENT))))	UXExperimentalTerms.kif 4046-4057	instance 工程 and 工程 instance Experimenting and Experimenting instance 工程 and 代理(人) experiencer 工程 and 代理(人) experimentalVariableProcess Experimenting and 工程エンティティー_GROUP instance エンティティー_GROUP and コレクション member 工程 and エンティティー_GROUP controlGroup エンティティー_GROUP and Experimenting
(=> (and (instance ?VARIABLE Process) (instance ?EXPERIMENT Experimenting) (instance ?AGENT Agent) (experiencer ?AGENT Agent) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (exists (?TREATMENT_GROUP) (and (instance ?TREATMENT_GROUP Collection) (member ?AGENT ?TREATMENT_GROUP) (treatmentGroup ?TREATMENT_GROUP ?EXPERIMENT))))	UXExperimentalTerms.kif 4163-4174	instance 工程 and 工程 instance Experimenting and Experimenting instance 工程 and 代理(人) experiencer 工程 and 代理(人) experimentalVariableProcess Experimenting and 工程エンティティー_GROUP instance エンティティー_GROUP and コレクション member 工程 and エンティティー_GROUP treatmentGroup エンティティー_GROUP and Experimenting
(=> (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 3527-3550	instance コレクション and コレクション instance 微粒子オブジェクト and HypertextLink オブジェクト member オブジェクト and コレクション instance オブジェクト and AccessingWebPage component コレクション and 微粒子オブジェクトコレクション instance コレクション and コレクション工程 instance 工程 and RequestingHyperlink patient 工程 and 微粒子オブジェクト member 工程 and コレクション equal ClickThroughRateFn コレクション and 微粒子オブジェクト and DivisionFn CardinalityFn コレクション and CardinalityFn コレクション
(=> (and (instance ?WATCH WatchItem) (instance ?OBJ Object) (patient ?WATCH ?OBJ) (agent ?WATCH ?USER)) (exists (?COLL ?SITE ?AFTER) (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 1811-1827	instance 時間間隔 and WatchItem instance エンティティー and オブジェクト patient 時間間隔 and エンティティー agent 時間間隔 and 代理(人) コレクション WebSite and 時間位置 instance コレクション and コレクション instance WebSite and WebSite instance 時間間隔 and 時間間隔 watchingListings 代理(人), コレクション and WebSite equal BeginFn 時間間隔 and EndFn 時間間隔 holdsDuring 時間位置 and member エンティティー and コレクション
(=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL1) (instance ?MEMBER SelfConnectedObject)) (exists (?COLL3) (and (instance ?COLL3 Collection) (member ?MEMBER ?COLL3) (member ?COLL3 ?COLL2))))	UXExperimentalTerms.kif 4818-4827	meceCollection コレクション and コレクション member オブジェクト and コレクション instance オブジェクト and 自己接続オブジェクトコレクション instance コレクション and コレクション member オブジェクト and コレクション member コレクション and コレクション
(=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL2) (instance ?MEMBER SelfConnectedObject)) (instance ?MEMBER Collection))	UXExperimentalTerms.kif 4811-4816	meceCollection コレクション and コレクション member オブジェクト and コレクション instance オブジェクト and 自己接続オブジェクト instance オブジェクト and コレクション
(=> (attribute ?COLLECTION LineFormation) (instance ?COLLECTION Collection))	Mid-level-ontology.kif 17209-17211	attribute オブジェクト and LineFormation instance オブジェクト and コレクション
(=> (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 7782-7791	attribute オブジェクト and Florists hasPurpose オブジェクト and エンティティーエンティティー instance エンティティー and Designing instance エンティティー and コレクション memberType エンティティー and Flower patient エンティティー and エンティティー agent エンティティー and オブジェクト
(=> (coilCount ?WC ?N) (exists (?C) (and (instance ?C Collection) (memberCount ?C ?N) (forall (?M) (=> (member ?M ?C) (and (attribute ?M ClosedTwoDimensionalFigure) (part ?M ?WC) (not (exists (?M2) (and (overlapsSpatially ?M2 ?M) (member ?M2 ?C))))))))))	Cars.kif 3088-3104	coilCount WireCoil and 整数コレクション instance コレクション and コレクション memberCount コレクション and 整数オブジェクト member オブジェクト and コレクション attribute オブジェクト and ClosedTwoDimensionalFigure part オブジェクト and WireCoil オブジェクト overlapsSpatially オブジェクト and オブジェクト member オブジェクト and コレクション
(=> (engineCylinders ?E ?N) (exists (?G) (and (instance ?G Collection) (memberTypeCount ?G EngineCylinder ?N) (member ?EC ?G) (part ?EC ?E))))	Cars.kif 4502-4509	engineCylinders Engine and NonNegativeInteger コレクション instance コレクション and コレクション memberTypeCount コレクション, EngineCylinder and NonNegativeInteger member EngineC and コレクション part EngineC and Engine
(=> (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE) (subclass ?PRODUCTTYPE Collection))	Media.kif 3139-3141	groupingTitle 記号文字列, 同じセットまたはクラス and 言語 subclass 同じセットまたはクラス and コレクション
(=> (instance ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE Hole) (part ?HOLE ?ADAPT) (material Metal ?ADAPT))))	Mid-level-ontology.kif 23954-23961	instance 微粒子オブジェクト and OutletAdapter コレクション instance コレクション and コレクション memberType コレクション and ホール part コレクション and 微粒子オブジェクト material 金属 and 微粒子オブジェクト
(=> (instance ?B BowlingBall) (exists (?HOLES) (and (instance ?HOLES Collection) (memberType ?HOLES Hole) (memberCount ?HOLES 3) (located ?HOLES ?B) (hasPurpose ?HOLES (exists (?FINGER) (and (member ?FINGER ?HOLES) (instance ?FINGER Finger) (partiallyFills ?FINGER ?HOLE)))))))	Sports.kif 975-988	instance オブジェクト and BowlingBall コレクション instance コレクション and コレクション memberType コレクション and ホール memberCount コレクション and 3 located コレクション and オブジェクト hasPurpose コレクション and エンティティー member エンティティー and コレクション instance エンティティー and Finger partiallyFills エンティティー and エンティティー
(=> (instance ?B Bus) (hasPurpose ?B (exists (?C ?T ?N) (and (instance ?C Collection) (instance ?T Transportation) (memberCount ?C ?N) (greaterThan ?N 11) (=> (member ?P ?C) (patient ?T ?P))))))	Transportation.kif 1936-1947	instance 物理 and Bus hasPurpose 物理 and エンティティーエンティティー and エンティティー instance エンティティー and コレクション instance エンティティー and 交通手段 memberCount エンティティー and エンティティー greaterThan エンティティー and 11 member エンティティー and エンティティー patient エンティティー and エンティティー
(=> (instance ?BF BowlingFacility) (exists (?BL) (and (instance ?BL Collection) (memberType ?BL BowlingLane) (located ?BL ?BF))))	Sports.kif 1012-1018	instance オブジェクト and BowlingFacility コレクション instance コレクション and コレクション memberType コレクション and BowlingLane located コレクション and オブジェクト
(=> (instance ?DRIZZLE Drizzling) (exists (?RAIN ?CLTN ?R ?SIZE) (and (instance ?RAIN Raining) (instance ?CLTN Collection) (instance ?R Water) (instance ?R LiquidDrop) (member ?R ?CLTN) (objectTransferred ?RAIN ?CLTN) (approximateDiameter ?R (MeasureFn ?SIZE Millimeter)) (modalAttribute (lessThanOrEqualTo ?SIZE 0.5) Likely))))	Weather.kif 1214-1227	instance エンティティー and Drizzling 移動コレクション, 自己接続オブジェクト and 実数 instance 移動 and Raining instance コレクション and コレクション instance 自己接続オブジェクト and 水 instance 自己接続オブジェクト and LiquidDrop member 自己接続オブジェクト and コレクション objectTransferred 移動 and コレクション approximateDiameter 自己接続オブジェクト and MeasureFn 実数 and Millimeter modalAttribute lessThanOrEqualTo 実数 and 0.5 and Likely
(=> (instance ?DROP Raindrop) (exists (?RAIN) (and (instance ?RAIN Rain) (instance ?RAIN Collection) (member ?DROP ?RAIN))))	Weather.kif 1426-1432	instance オブジェクト and Raindrop コレクション instance コレクション and Rain instance コレクション and コレクション member オブジェクト and コレクション
(=> (instance ?EXPERIMENT Experimenting) (exists (?QUALIFYING_EVENTS) (and (instance ?QUALIFYING_EVENTS Collection) (forall (?EVENT) (=> (and (instance ?EVENT Process) (or (experimentalControlProcess ?EXPERIMENT ?EVENT) (experimentalVariableProcess ?EXPERIMENT ?EVENT))) (member ?EVENT ?QUALIFYING_EVENTS))) (equal (QualifyingEventsFn ?EXPERIMENT) ?QUALIFYING_EVENTS))))	UXExperimentalTerms.kif 4406-4421	instance Experimenting and Experimenting エンティティー_EVENTS instance エンティティー_EVENTS and コレクション工程 instance 工程 and 工程 experimentalControlProcess Experimenting and 工程 experimentalVariableProcess Experimenting and 工程 member 工程 and エンティティー_EVENTS equal QualifyingEventsFn Experimenting and エンティティー_EVENTS
(=> (instance ?EXPERIMENT Experimenting) (exists (?TREATED_USERS) (and (instance ?TREATED_USERS Collection) (forall (?USER) (=> (and (instance ?USER Human) (treatedUser ?USER ?EXPERIMENT)) (member ?USER ?TREATED_USERS))) (equal (TreatedUsersFn ?EXPERIMENT) ?TREATED_USERS))))	UXExperimentalTerms.kif 4476-4488	instance Experimenting and Experimenting エンティティー_USERS instance エンティティー_USERS and コレクション人［人間］ instance 人［人間］ and 人［人間］ treatedUser 人［人間］ and Experimenting member 人［人間］ and エンティティー_USERS equal TreatedUsersFn Experimenting and エンティティー_USERS

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 5616-5616

domain CardinalityFn, 1 and UnionFn 同じセットまたはクラス and コレクション

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

(disjoint Collection SelfConnectedObject)	Merge.kif 1295-1295	disjoint コレクション and 自己接続オブジェクト
(documentation Collection ChineseLanguage "群体和 Class 一样，拥有 member ，可它又不像 Class，因为它们在时空有一个定位，而且 Collection 可以加和减 member 却不会改变自身的身份。它的例子有工具包、足球队和羊群。")	Merge.kif 1301-1303
(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, football teams, and flocks of sheep.")	Merge.kif 1296-1300
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 38/ Stamp_collection.jpg")	pictureList.kif 10689-10689	externalImage コレクション and "http://upload.wikimedia.org/wikipedia/commons/3/38/ Stamp_collection.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Collection_Quid.jpg")	pictureList.kif 10688-10688	externalImage コレクション and "http://upload.wikimedia.org/wikipedia/commons/3/3a/ Collection_Quid.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3f/ Book_collection.jpg")	pictureList.kif 10684-10684	externalImage コレクション and "http://upload.wikimedia.org/wikipedia/commons/3/3f/ Book_collection.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Greek_pottery1.jpg")	pictureList.kif 10695-10695	externalImage コレクション and "http://upload.wikimedia.org/wikipedia/commons/4/48/ Greek_pottery1.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Beetle_collection.jpg")	pictureList.kif 10683-10683	externalImage コレクション and "http://upload.wikimedia.org/wikipedia/commons/4/4c/ Beetle_collection.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Bgbo_kakteen_ies.jpg")	pictureList.kif 10694-10694	externalImage コレクション and "http://upload.wikimedia.org/wikipedia/commons/4/4c/ Bgbo_kakteen_ies.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4d/ LA2-katalogkort.jpg")	pictureList.kif 9966-9966	externalImage コレクション and "http://upload.wikimedia.org/wikipedia/commons/4/4d/ LA2-katalogkort.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Petosa_-_old_accordions_03.jpg")	pictureList.kif 10687-10687	externalImage コレクション and "http://upload.wikimedia.org/wikipedia/commons/6/64/ Petosa_-_old_accordions_03.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ The_old_Porsche-Museum%2C_Porscheplatz_1%2C_Stuttgart.jpg")	pictureList.kif 10693-10693	externalImage コレクション and "http://upload.wikimedia.org/wikipedia/commons/6/6e/ The_old_Porsche-Museum%2C_Porscheplatz_1%2C_Stuttgart.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Collection-of-cameras.jpg")	pictureList.kif 10690-10690	externalImage コレクション and "http://upload.wikimedia.org/wikipedia/commons/8/88/ Collection-of-cameras.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ a/ aa/ Xtal-collection.jpg")	pictureList.kif 10680-10680	externalImage コレクション and "http://upload.wikimedia.org/wikipedia/commons/a/aa/ Xtal-collection.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Oropos-Phaeton.jpg")	pictureList.kif 10692-10692	externalImage コレクション and "http://upload.wikimedia.org/wikipedia/commons/b/b2/ Oropos-Phaeton.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Pog_Collection.jpg")	pictureList.kif 10682-10682	externalImage コレクション and "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Pog_Collection.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ c/ cd/ CD_collection.jpg")	pictureList.kif 10681-10681	externalImage コレクション and "http://upload.wikimedia.org/wikipedia/commons/c/cd/ CD_collection.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Collection-of-Maps.jpg")	pictureList.kif 10691-10691	externalImage コレクション and "http://upload.wikimedia.org/wikipedia/commons/d/d3/ Collection-of-Maps.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Tuning_World_Bodensee_Thumbs_2004.JPG")	pictureList.kif 10696-10696	externalImage コレクション and "http://upload.wikimedia.org/wikipedia/commons/d/d3/ Tuning_World_Bodensee_Thumbs_2004.JPG"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Speccy-collection.jpg")	pictureList.kif 10686-10686	externalImage コレクション and "http://upload.wikimedia.org/wikipedia/commons/e/ec/ Speccy-collection.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ f/ fa/ Bottle-collection.jpg")	pictureList.kif 10685-10685	externalImage コレクション and "http://upload.wikimedia.org/wikipedia/commons/f/fa/ Bottle-collection.jpg"
(subclass Collection Object)	Merge.kif 1294-1294	subclass コレクション and オブジェクト

KB Term:			Term intersection

English Word: