WebSite - Sigma Knowledge base Browser

appearance as argument number 1

(documentation WebSite EnglishLanguage "An instance of WebSite is a body of ComputerData that can be accessed at a specific virtual location identified by a UniformResourceLocator and rendered as WebPages by a web browser.")	Media.kif 1489-1493
(subclass WebSite DigitalData)	Media.kif 1494-1494	WebSite は DigitalData の subclass では %n

appearance as argument number 2

(instance EBayWebSite WebSite)	ComputingBrands.kif 4674-4674	EBayWebSite は WebSite の instance では %n
(instance IBookstore WebSite)	ComputingBrands.kif 3293-3293	IBookstore は WebSite の instance では %n
(instance Othena WebSite)	Medicine.kif 5598-5598	Othena は WebSite の instance では %n
(instance Reddit WebSite)	Medicine.kif 3096-3096	Reddit は WebSite の instance では %n
(subclass Blog WebSite)	ComputerInput.kif 2871-2871	Blog は WebSite の subclass では %n
(subclass SocialNetworkingSite WebSite)	Media.kif 1512-1512	SocialNetworkingSite は WebSite の subclass では %n
(subclass Toutiao WebSite)	ComputingBrands.kif 4608-4608	Toutiao は WebSite の subclass では %n
(subclass Wiki WebSite)	ComputerInput.kif 2875-2875	Wiki は WebSite の subclass では %n
(subclass YouTube WebSite)	ComputingBrands.kif 4624-4624	YouTube は WebSite の subclass では %n
(termFormat EnglishLanguage WebSite "web site")	domainEnglishFormat.kif 65737-65737

appearance as argument number 3

(domain SellersItemsFn 2 WebSite)	UXExperimentalTerms.kif 1180-1180	SellersItemsFn の数値 2 引数は WebSite の instance では %n
(domain SellersOtherItemsFn 2 WebSite)	UXExperimentalTerms.kif 1215-1215	SellersOtherItemsFn の数値 2 引数は WebSite の instance では %n
(domain SiteWideNewBuyersFn 2 WebSite)	UXExperimentalTerms.kif 3572-3572	SiteWideNewBuyersFn の数値 2 引数は WebSite の instance では %n
(domain SiteWideNewRegistrationsFn 2 WebSite)	UXExperimentalTerms.kif 3624-3624	SiteWideNewRegistrationsFn の数値 2 引数は WebSite の instance では %n
(domain SiteWideNewSellersFn 2 WebSite)	UXExperimentalTerms.kif 3671-3671	SiteWideNewSellersFn の数値 2 引数は WebSite の instance では %n
(domain accountAtSite 2 WebSite)	UXExperimentalTerms.kif 778-778	accountAtSite の数値 2 引数は WebSite の instance では %n
(domain advertisedOn 2 WebSite)	UXExperimentalTerms.kif 240-240	advertisedOn の数値 2 引数は WebSite の instance では %n
(domain browserID 3 WebSite)	UXExperimentalTerms.kif 919-919	browserID の数値 3 引数は WebSite の instance では %n
(domain categoryOf 2 WebSite)	UXExperimentalTerms.kif 225-225	categoryOf の数値 2 引数は WebSite の instance では %n
(domain confirmedRegisteredUser 2 WebSite)	UXExperimentalTerms.kif 1092-1092	confirmedRegisteredUser の数値 2 引数は WebSite の instance では %n
(domain eCommerceSite 2 WebSite)	UXExperimentalTerms.kif 1913-1913	eCommerceSite の数値 2 引数は WebSite の instance では %n
(domain firstTimeBuyers 2 WebSite)	UXExperimentalTerms.kif 3723-3723	firstTimeBuyers の数値 2 引数は WebSite の instance では %n
(domain firstTimeSellers 2 WebSite)	UXExperimentalTerms.kif 3771-3771	firstTimeSellers の数値 2 引数は WebSite の instance では %n
(domain homePage 2 WebSite)	UXExperimentalTerms.kif 2174-2174	homePage の数値 2 引数は WebSite の instance では %n
(domain hostedOn 2 WebSite)	UXExperimentalTerms.kif 150-150	hostedOn の数値 2 引数は WebSite の instance では %n
(domain newRegisteredUsers 2 WebSite)	UXExperimentalTerms.kif 3819-3819	newRegisteredUsers の数値 2 引数は WebSite の instance では %n
(domain prohibitedItem 2 WebSite)	UXExperimentalTerms.kif 491-491	prohibitedItem の数値 2 引数は WebSite の instance では %n
(domain registeredUser 2 WebSite)	UXExperimentalTerms.kif 1053-1053	registeredUser の数値 2 引数は WebSite の instance では %n
(domain siteCatalog 2 WebSite)	UXExperimentalTerms.kif 2439-2439	siteCatalog の数値 2 引数は WebSite の instance では %n
(domain underageUser 2 WebSite)	UXExperimentalTerms.kif 1266-1266	underageUser の数値 2 引数は WebSite の instance では %n
(domain userDatabase 2 WebSite)	UXExperimentalTerms.kif 2370-2370	userDatabase の数値 2 引数は WebSite の instance では %n
(domain visitorParameter 3 WebSite)	UXExperimentalTerms.kif 1362-1362	visitorParameter の数値 3 引数は WebSite の instance では %n
(domain watchingListings 3 WebSite)	UXExperimentalTerms.kif 1442-1442	watchingListings の数値 3 引数は WebSite の instance では %n
(domain webPurchases 3 WebSite)	UXExperimentalTerms.kif 1019-1019	webPurchases の数値 3 引数は WebSite の instance では %n
(domain webSales 3 WebSite)	UXExperimentalTerms.kif 1114-1114	webSales の数値 3 引数は WebSite の instance では %n

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (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 1189-1205	AutonomousAgent は AutonomousAgent の instance では %n WebSite は WebSite の instance では %n コレクションコレクションはコレクションの instance では %n WebListing WebListing は WebListing の instance では %n hostedOn WebListing and WebSite listingSeller WebListing and AutonomousAgent WebListing はコレクションの member では %n SellersItemsFn AutonomousAgent and WebSite はコレクションと equal では %n
(=> (and (instance ?COLL Collection) (instance ?SITE WebSite) (instance ?AGENT AutonomousAgent) (instance ?LISTING WebListing) (instance ?TIME TimePoint) (listingSeller ?LISTING ?AGENT) (not (member ?LISTING ?COLL)) (forall (?ITEM ?MEMBER) (and (=> (and (instance ?ITEM WebListing) (member ?ITEM (SellersItemsFn ?AGENT ?SITE)) (temporalPart ?TIME (WhenFn ?ITEM)) (not (equal ?ITEM ?LISTING))) (member ?ITEM ?COLL)) (=> (member ?MEMBER ?COLL) (and (temporalPart ?TIME (WhenFn ?ITEM)) (instance ?MEMBER WebListing)))))) (equal (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL))	UXExperimentalTerms.kif 1230-1257	コレクションはコレクションの instance では %n WebSite は WebSite の instance では %n AutonomousAgent は AutonomousAgent の instance では %n WebListing は WebListing の instance では %n 時点は時点の instance では %n listingSeller WebListing and AutonomousAgent WebListing はコレクションの member では物理物理物理は WebListing の instance では %n 物理は SellersItemsFn AutonomousAgent and WebSite の member では %n 時点は物理の time の existence の part では %n 物理は WebListing と equal では物理はコレクションの member では %n 物理はコレクションの member では %n 時点は物理の time の existence の part では %n 物理は WebListing の instance では %n SellersOtherItemsFn AutonomousAgent, WebSite, WebListing and 時点はコレクションと equal では %n
(=> (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 3582-3614	時間間隔は時間間隔の instance では %n WebSite は WebSite の instance では %n コレクションコレクションはコレクションの instance では %n AutonomousAgent AutonomousAgent はコレクションの member では %n 時間間隔 AutonomousAgent は AutonomousAgent の instance では %n 時間間隔は購買の instance では %n AutonomousAgent は時間間隔の agent では %n WebSite は時間間隔の instrument では %n 時間間隔は時間間隔の during に takes %n{ない} 時間間隔_BEFORE 時間間隔_BEFORE は時間間隔の instance では %n 時間間隔_BEFORE は時間間隔より earlier happens %n{ない} 時間間隔_BEFORE 時間間隔_BEFORE は購買の instance では %n AutonomousAgent は時間間隔_BEFORE の agent では %n WebSite は時間間隔_BEFORE の instrument では %n 時間間隔_BEFORE は時間間隔の during に takes %n{ない} は時間間隔_BEFORE の during holds %n{ない} SiteWideNewBuyersFn 時間間隔 and WebSite はコレクションと equal では %n
(=> (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 3634-3661	時間間隔は時間間隔の instance では %n WebSite は WebSite の instance では %n コレクションコレクションはコレクションの instance では %n 物理物理は人［人間］の instance では %n 時間間隔_BEFORE 時間間隔_BEFORE は時間間隔の instance では %n 時間間隔_BEFORE は時間間隔より earlier happens %n{ない} registeredUser 物理 and WebSite は時間間隔_BEFORE の during holds %n{ない} 時間間隔_DURING 時間間隔_DURING は時間間隔の instance では %n 時間間隔_DURING は時間間隔の during に takes %n{ない} registeredUser 物理 and WebSite は時間間隔の during holds %n{ない} 物理はコレクションの member では %n コレクションは SiteWideNewRegistrationsFn 時間間隔 and WebSite と equal では %n
(=> (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 3681-3713	時間間隔は時間間隔の instance では %n WebSite は WebSite の instance では %n コレクションコレクションはコレクションの instance では %n AutonomousAgent AutonomousAgent はコレクションの member では %n 時間間隔 AutonomousAgent は AutonomousAgent の instance では %n 時間間隔は販売の instance では %n AutonomousAgent は時間間隔の agent では %n WebSite は時間間隔の instrument では %n 時間間隔は時間間隔の during に takes %n{ない} 時間間隔_BEFORE 時間間隔_BEFORE は時間間隔の instance では %n 時間間隔_BEFORE は時間間隔より earlier happens %n{ない} 時間間隔_BEFORE 時間間隔_BEFORE は販売の instance では %n AutonomousAgent は時間間隔_BEFORE の agent では %n WebSite は時間間隔_BEFORE の instrument では %n 時間間隔_BEFORE は時間間隔の during に takes %n{ない} は時間間隔_BEFORE の during holds %n{ない} SiteWideNewSellersFn 時間間隔 and WebSite はコレクションと equal では %n
(=> (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (hostedOn ?LISTING ?SITE) (creator ?LISTING ?AGENT)) (webSeller ?AGENT ?SITE))	UXExperimentalTerms.kif 44-50	AutonomousAgent は WebListing の instance では %n WebSite は WebSite の instance では %n hostedOn AutonomousAgent and WebSite creator AutonomousAgent and 人［人間］ webSeller 人［人間］ and WebSite
(=> (and (instance ?P DigitalPost) (instance ?A AutonomousAgent) (instance ?W WebSite) (component ?P ?W) (creator ?A ?P) (registeredUser ?A ?W)) (hasPurpose ?P (exists (?D) (and (instance ?D Disseminating) (agent ?D ?A) (patient ?D ?P) (instrument ?D ?W)))))	ComputerInput.kif 2830-2844	微粒子オブジェクトは DigitalPost の instance では %n AutonomousAgent は AutonomousAgent の instance では %n WebSite は WebSite の instance では %n 微粒子オブジェクトは WebSite の component では %n creator AutonomousAgent and 微粒子オブジェクト registeredUser AutonomousAgent and WebSite 微粒子オブジェクトはエンティティーエンティティーは普及の instance では %n AutonomousAgent はエンティティーの agent では %n 微粒子オブジェクトはエンティティーの patient では %n WebSite はエンティティーの instrument では %n の目的 %n{ない}
(=> (and (instance ?PAGE ViewItemPage) (instance ?SITE WebSite) (component ?PAGE ?SITE)) (exists (?ITEM ?ADVERTISING) (and (instance ?ITEM Object) (instance ?ADVERTISING WebListing) (component ?ADVERTISING ?PAGE) (hostedOn ?ADVERTISING ?SITE) (patient ?ADVERTISING ?ITEM))))	UXExperimentalTerms.kif 2271-2282	微粒子オブジェクトは ViewItemPage の instance では %n WebSite は WebSite の instance では %n 微粒子オブジェクトは WebSite の component では %n エンティティー WebListing エンティティーはオブジェクトの instance では %n WebListing は WebListing の instance では %n WebListing は微粒子オブジェクトの component では %n hostedOn WebListing and WebSite エンティティーは WebListing の patient では %n
(=> (and (listingBuyer ?LISTING ?BUYER) (instance ?OBJ Object) (instance ?SITE WebSite) (patient ?LISTING ?OBJECT) (hostedOn ?LISTING ?SITE)) (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?OBJ) (eCommerceSite ?BUYING ?SITE) (agent ?BUYING ?BUYER))))	UXExperimentalTerms.kif 105-117	listingBuyer WebListing and AutonomousAgent エンティティーはオブジェクトの instance では %n WebSite は WebSite の instance では %n エンティティーECT は WebListing の patient では %n hostedOn WebListing and WebSite 金融取引金融取引は購買の instance では %n エンティティーは金融取引の patient では %n eCommerceSite 金融取引 and WebSite AutonomousAgent は金融取引の agent では %n
(=> (instance ?SITE WebSite) (exists (?PAGE) (and (instance ?PAGE WebPage) (component ?PAGE ?SITE))))	Media.kif 1495-1500	微粒子オブジェクトは WebSite の instance では %n 微粒子オブジェクト微粒子オブジェクトは WebPage の instance では %n 微粒子オブジェクトは微粒子オブジェクトの component では %n

consequent

(=> (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 1523-1539	時間間隔は AddToCart の instance では %n エンティティーはオブジェクトの instance では %n エンティティーは時間間隔の patient では %n AutonomousAgent は時間間隔の agent では %n コレクション WebSite, 時間位置 and 時間間隔コレクションはコレクションの instance では %n WebSite は WebSite の instance では %n 時間間隔は時間間隔の instance では %n webcart AutonomousAgent, コレクション and WebSite 時間間隔の beginning は時間間隔の end と equal では %n エンティティーはコレクションの member では %n は時間位置の during holds %n{ない}
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (equal (DivisionFn (CardinalityFn (exists (?LISTING ?SITE ?ITEM) (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 3051-3076	コレクションはコレクションの instance では %n 物理物理はコレクションの member では %n 物理は WebListing の instance では %n エンティティーエンティティー and エンティティーエンティティーで記述される class の instances の数 + コレクションの instances の数は BidCountFn コレクションと equal では %n
(=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS BusinessToBusiness)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 AutonomousAgent) (instance ?USER2 AutonomousAgent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACCT1 BusinessAccount) (attribute ?ACCT2 BusinessAccount))))	UXExperimentalTerms.kif 1933-1952	オブジェクトは金融取引の instance では %n BusinessToBusiness はオブジェクトの attribute では %n UserAccount UserAccount, AutonomousAgent, AutonomousAgent and WebSite UserAccount は UserAccount の instance では %n UserAccount は UserAccount の instance では %n AutonomousAgent は AutonomousAgent の instance では %n AutonomousAgent は AutonomousAgent の instance では %n WebSite は WebSite の instance では %n AutonomousAgent はオブジェクトの agent では %n オブジェクトは AutonomousAgent に ends %n{ない} WebSite はオブジェクトの instrument では %n hasAccount AutonomousAgent and UserAccount hasAccount AutonomousAgent and UserAccount accountAtSite UserAccount and WebSite accountAtSite UserAccount and WebSite BusinessAccount は UserAccount の attribute では %n BusinessAccount は UserAccount の attribute では %n
(=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS BusinessToConsumer)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 AutonomousAgent) (instance ?USER2 AutonomousAgent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACCT1 BusinessAccount) (attribute ?ACCT2 ConsumerAccount))))	UXExperimentalTerms.kif 1965-1984	オブジェクトは金融取引の instance では %n BusinessToConsumer はオブジェクトの attribute では %n UserAccount UserAccount, AutonomousAgent, AutonomousAgent and WebSite UserAccount は UserAccount の instance では %n UserAccount は UserAccount の instance では %n AutonomousAgent は AutonomousAgent の instance では %n AutonomousAgent は AutonomousAgent の instance では %n WebSite は WebSite の instance では %n AutonomousAgent はオブジェクトの agent では %n オブジェクトは AutonomousAgent に ends %n{ない} WebSite はオブジェクトの instrument では %n hasAccount AutonomousAgent and UserAccount hasAccount AutonomousAgent and UserAccount accountAtSite UserAccount and WebSite accountAtSite UserAccount and WebSite BusinessAccount は UserAccount の attribute では %n ConsumerAccount は UserAccount の attribute では %n
(=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS ConsumerToConsumer)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 AutonomousAgent) (instance ?USER2 AutonomousAgent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACCT1 ConsumerAccount) (attribute ?ACCT2 ConsumerAccount))))	UXExperimentalTerms.kif 1997-2016	オブジェクトは金融取引の instance では %n ConsumerToConsumer はオブジェクトの attribute では %n UserAccount UserAccount, AutonomousAgent, AutonomousAgent and WebSite UserAccount は UserAccount の instance では %n UserAccount は UserAccount の instance では %n AutonomousAgent は AutonomousAgent の instance では %n AutonomousAgent は AutonomousAgent の instance では %n WebSite は WebSite の instance では %n AutonomousAgent はオブジェクトの agent では %n オブジェクトは AutonomousAgent に ends %n{ない} WebSite はオブジェクトの instrument では %n hasAccount AutonomousAgent and UserAccount hasAccount AutonomousAgent and UserAccount accountAtSite UserAccount and WebSite accountAtSite UserAccount and WebSite ConsumerAccount は UserAccount の attribute では %n ConsumerAccount は UserAccount の attribute では %n
(=> (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 1811-1827	時間間隔は WatchItem の instance では %n エンティティーはオブジェクトの instance では %n エンティティーは時間間隔の patient では %n AutonomousAgent は時間間隔の agent では %n コレクション WebSite, 時間位置 and 時間間隔コレクションはコレクションの instance では %n WebSite は WebSite の instance では %n 時間間隔は時間間隔の instance では %n watchingListings AutonomousAgent, コレクション and WebSite 時間間隔の beginning は時間間隔の end と equal では %n エンティティーはコレクションの member では %n は時間位置の during holds %n{ない}
(=> (instance ?CHARGE InsertionFee) (exists (?SITE ?OWNER ?ADVERT) (and (instance ?SITE WebSite) (instance ?OWNER AutonomousAgent) (instance ?ADVERT WebListing) (hostedOn ?ADVERT ?SITE) (possesses ?OWNER ?SITE) (agent ?CHARGE ?OWNER))))	UXExperimentalTerms.kif 271-280	工程は InsertionFee の instance では %n WebSite AutonomousAgent and WebListing WebSite は WebSite の instance では %n AutonomousAgent は AutonomousAgent の instance では %n WebListing は WebListing の instance では %n hostedOn WebListing and WebSite AutonomousAgent は WebSite を possesses %n{ない} AutonomousAgent は工程の agent では %n
(=> (instance ?LIST ListOnSite) (exists (?SITE ?ADVERT ?EARLIER ?AFTER ?OWNER) (and (instance ?SITE WebSite) (instance ?ADVERT WebListing) (instance ?EARLIER TimeInterval) (instance ?AFTER TimeInterval) (patient ?LIST ?ADVERT) (equal (EndFn ?EARLIER) (EndFn ?LIST)) (earlier ?LIST ?AFTER) (meetsTemporally ?LIST ?AFTER) (holdsDuring ?EARLIER (not (hostedOn ?ADVERT ?SITE))) (holdsDuring ?AFTER (hostedOn ?ADVERT ?SITE)) (agent ?LIST ?OWNER) (possesses ?OWNER ?SITE))))	UXExperimentalTerms.kif 338-358	時間間隔は ListOnSite の instance では %n オブジェクトエンティティー, 時間間隔, 時間間隔 and AutonomousAgent オブジェクトは WebSite の instance では %n エンティティーは WebListing の instance では %n 時間間隔は時間間隔の instance では %n 時間間隔は時間間隔の instance では %n エンティティーは時間間隔の patient では %n 時間間隔の end は時間間隔の end と equal では %n 時間間隔は時間間隔より earlier happens %n{ない} 時間間隔は時間間隔に meets %n{ない} hostedOn エンティティー and オブジェクトは時間間隔の during holds %n{ない} hostedOn エンティティー and オブジェクトは時間間隔の during holds %n{ない} AutonomousAgent は時間間隔の agent では %n AutonomousAgent はオブジェクトを possesses %n{ない}
(=> (instance ?LISTING WebListing) (exists (?SITE) (and (instance ?SITE WebSite) (hostedOn ?LISTING ?SITE))))	UXExperimentalTerms.kif 37-42	WebListing は WebListing の instance では %n WebSite WebSite は WebSite の instance では %n hostedOn WebListing and WebSite
(=> (instance ?PROFILE VisitorProfile) (exists (?USER ?SITE) (and (instance ?USER AutonomousAgent) (instance ?SITE WebSite) (forall (?FORMULA) (=> (and (member ?FORMULA ?PROFILE) (instance ?FORMULA Formula)) (visitorParameter ?USER ?FORMULA ?SITE))))))	UXExperimentalTerms.kif 1337-1348	コレクションは VisitorProfile の instance では %n AutonomousAgent WebSite AutonomousAgent は AutonomousAgent の instance では %n WebSite は WebSite の instance では %n 公式公式はコレクションの member では %n 公式は公式の instance では %n visitorParameter AutonomousAgent, 公式 and WebSite
(=> (instance ?STORE WebStore) (exists (?SITE) (and (instance ?SITE WebSite) (component ?STORE ?SITE))))	UXExperimentalTerms.kif 2332-2337	微粒子オブジェクトは WebStore の instance では %n 微粒子オブジェクト微粒子オブジェクトは WebSite の instance では %n 微粒子オブジェクトは微粒子オブジェクトの component では %n

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: