Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   CrossFunctionalTeam
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Collection Physical) | Merge.kif 1334-1334 | Collection is a subclass of physical |
| (disjoint Collection SelfConnectedObject) | Merge.kif 1337-1337 | Collection is disjoint from self connected object |
| (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 1339-1343 | Collection is disjoint from self connected object |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (instance ?COLL Collection) (exists (?OBJ) (member ?OBJ ?COLL))) |
Merge.kif 1345-1348 | If X is an instance of collection, then there exists Y such that Y is a member of X |
| (=> (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 483-489 | If ?SAMPLE_COLL is an instance of collection, ?POP_COLL is an instance of collection, Z is an instance of experimenting, and ?SAMPLE_COLL is a sample of ?POP_COLL for Z, then ?SAMPLE_COLL is a proper sub-collection of ?POP_COLL |
| (=> (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 501-517 | If All of the following hold: (1) ?SAMPLE_COLL is an instance of collection (2) ?POP_COLL is an instance of collection (3) Z is an instance of experimenting (4) W is an instance of cognitive agent (5) W is an agent of Z (6) ?SAMPLE_COLL is a sample of ?POP_COLL for Z, then For all Attribute V: if ?SAMPLE_COLL the attribute V, W is interested in V, and equal V and representative sample, then ?POP_COLL the attribute V |
| (=> (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 1033-1060 | If All of the following hold: (1) X is an instance of collection (2) Y is an instance of web site (3) Z is an instance of agent (4) W is an instance of web listing (5) V is an instance of time point (6) Z sells W (7) W is not a member of X (8) For all Physicals U and T: if U is an instance of web listing, U is a member of items for sale by Z at Y, V is a part of the time of existence of U, and equal U and W, then U is a member of X and if T is a member of X, then V is a part of the time of existence of U and T is an instance of web listing, then equal things for sale by Z not listed in W at Y during V and X |
| (=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (exists (?LISTING ?SITE ?ITEM) (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 2846-2871 | If X is an instance of collection and For all Physical Y: if Y is a member of X, then Y is an instance of web listing, then there exist Z, W, V such that equal the number of instances in the class described by Z, the number of instances in X, and number of bids in X |
| (=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER FinancialTransaction)))) (exists (?ITEM ?BUYING) (equal (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Physical) (instance ?BUYING Buying) (member ?BUYING ?COLL) (patient ?BUYING ?ITEM)))) (BoughtItemsFn ?COLL)))) |
UXExperimentalTerms.kif 2887-2903 | If X is an instance of collection and For all Physical Y: if Y is a member of X, then Y is an instance of financial transaction, then there exist Z, W such that equal the number of instances in the class described by Z, and number of items purchased in X |
| (=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (exists (?BIDDING ?ITEM ?LISTING ?BIDDING) (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 2922-2940 | If X is an instance of collection and For all Physical Y: if Y is a member of X, then Y is an instance of web listing, then there exist Z, W,, , V, Z such that equal the number of instances in the class described by Z, and number of bids in X |
| (=> (and (instance ?PURCHASES Collection) (forall (?MEMBER) (=> (member ?MEMBER ?PURCHASES) (instance ?MEMBER Buying))) (exists (?REGION) (and (instance ?REGION GeopoliticalArea) (forall (?BUYER ?BUYING) (=> (and (instance ?BUYER AutonomousAgent) (instance ?BUYING Buying) (member ?BUYING ?PURCHASES) (agent ?BUYING ?BUYER)) (located ?BUYER ?REGION)))))) (exists (?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT) (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 2956-2983 | If X is an instance of collection, For all Physical Y: if Y is a member of X, then Y is an instance of buying, and there exists Z such that Z is an instance of geopolitical area, W, V W is an instance of agent, V is an instance of buying, V is a member of X, and W is an agent of VW is located at Z, then there exist U, T, ?TOTAL_PURCHASE_AMOUNT such that the total of values in the class described by U is ?TOTAL_PURCHASE_AMOUNT, equal the value of X, and ?TOTAL_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 AutonomousAgent) (instance ?SELLING Buying) (member ?SELLING ?SALES) (agent ?SELLING ?SELLER)) (located ?SELLER ?REGION)))))) (exists (?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT) (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 2999-3026 | If X is an instance of collection, For all Physical Y: if Y is a member of X, then Y is an instance of selling, and there exists Z such that Z is an instance of geopolitical area, W, V W is an instance of agent, V is an instance of buying, V is a member of X, and W is an agent of VW is located at Z, then there exist U, T, ?TOTAL_SALE_AMOUNT such that the total of values in the class described by U is ?TOTAL_SALE_AMOUNT, equal the value of X, and ?TOTAL_SALE_AMOUNT |
| (=> (and (instance ?AUCTIONS Collection) (=> (member ?AUC ?AUCTIONS) (instance ?AUC Auctioning))) (exists (?AMOUNT ?TOTAL_PURCHASE_AMOUNT) (and (total (KappaFn ?AMOUNT (transactionAmount ?AUC ?AMOUNT)) ?TOTAL_PURCHASE_AMOUNT) (equal (AuctionGMBFn ?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT)))) |
UXExperimentalTerms.kif 3202-3214 | If X is an instance of collection and if Y is a member of X, then Y is an instance of auctioning, then there exist Z, ?TOTAL_PURCHASE_AMOUNT such that the total of values in the class described by Z is ?TOTAL_PURCHASE_AMOUNT, equal the total purchase price of X, and ?TOTAL_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 ?BUYING ?ITEM)))))))) (equal (ABPFn ?BUYINGS) (DivisionFn ?GMB ?TOTAL))) |
UXExperimentalTerms.kif 3238-3258 | If X is an instance of collection, Y is an instance of currency measure, Z is an instance of real number, equal Y and the value of X, and equal Z and the number of instances in the class described by W, then equal the average price of X, Y, and Z |
| (=> (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 ?SELLING ?ITEM)))))))) (equal (ASPFn ?SELLINGS) (DivisionFn ?GMV ?TOTAL))) |
UXExperimentalTerms.kif 3281-3301 | If X is an instance of collection, Y is an instance of currency measure, Z is an instance of real number, equal Y and the value of X, and equal Z and the number of instances in the class described by W, then equal the average selling price of X, Y, and Z |
| (=> (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 3332-3355 | If X is an instance of collection, Y is an instance of hyperlink, and For all Physical Z: Z is a member of W and Z is an instance of accessing web page and W is a component of Y, then there exists V such that V is an instance of collection, U U is an instance of requesting hyperlink, Y is a patient of UU is a member of V, equal the rate of clicking through Y in X, the number of instances in V, and the number of instances in X |
| (=> (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 ?PURCHASES)))) (exists (?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL) (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 3665-3701 | If X is an instance of collection, Y is an instance of collection, Y is a proper sub-collection of X, For all Physical Z: if Z is a member of X, then Z is an instance of accessing web page, and For all Processes W, U, and W, AutonomousAgent V, and Object T: if All of the following hold: (1) V is an instance of human (2) W is an instance of buying (3) U is an instance of accessing web page (4) T is an instance of web page (5) U is a member of X (6) U ends up at T (7) V is an agent of W (8) V is an agent of U (9) the time of existence of W takes place during the time of existence of U (10) T is an instrument for W, then W is a member of Y, then there exist S, ?PURCHASE_IN_INTERVAL, ?VISIT_IN_INTERVAL such that equal purchases made in X during S, the number of instances in the class described by ?PURCHASE_IN_INTERVAL, and the number of instances in the class described by ?VISIT_IN_INTERVAL |
| (=> (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 4172-4187 | If X is an instance of human, Y is an instance of collection, and For all WebPage Z, Process W, and Experimenting V: if W is an instance of accessing web page, X is an agent of W, Z is a patient of W, and Z is the object of study of V, then W is a member of Y, then equal Y and all the treated web page views from X |
| (=> (and (instance ?VISITOR Human) (instance ?COLL Collection) (forall (?EXPERIMENT ?EVENT) (=> (exists (?CLASS) (and (instance ?EXPERIMENT Experimenting) (instance ?EVENT Process) (member ?EVENT (QualifyingEventsFn ?EXPERIMENT)) (instance ?EVENT ?CLASS) (capability ?CLASS experiencer ?VISITOR))) (member ?EVENT ?COLL))) (=> (member ?PROC ?COLL) (and (instance ?PROC Process) (exists (?EXP ?PROCESS) (and (instance ?EXP Experimenting) (member ?PROC (QualifyingEventsFn ?EXP)) (instance ?PROC ?PROCESS) (capability ?PROCESS experiencer ?VISITOR)))))) (equal (QualifiedTreatmentsFn ?VISITOR) ?COLL)) |
UXExperimentalTerms.kif 4238-4264 | If X is an instance of human, Y is an instance of collection, For all Experimenting Z and Physical W: if there exists V such that Z is an instance of experimenting, W is an instance of process, W is a member of events in Z, W is an instance of V, and X is capable of doing V as a experiencer, then W is a member of Y, and if U is a member of Y, then U is an instance of process and there exist T, S such that T is an instance of experimenting, U is a member of events in T, U is an instance of S, and X is capable of doing S as a experiencer, then equal all the processes X is qualified for and Y |
| consequent |
|
|
| (=> (equal ?GNP (GrossNationalProductFn ?GPA ?Y)) (exists (?PRODANDSERV) (and (instance ?PRODANDSERV Collection) (monetaryValue ?PRODANDSERV ?GNP) (=> (and (instance ?M Manufacture) (result ?M ?PRODUCT) (agent ?M ?MAKER) (member ?MAKER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?M) ?Y)) (member ?PRODUCT ?PRODANDSERV)) (=> (and (instance ?SERVICE Process) (attribute ?SERVICE ServiceInEconomics) (agent ?SERVICE ?PROVIDER) (member ?PROVIDER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?SERVICE) ?Y)) (member ?SERVICE ?PRODANDSERV))))) |
Economy.kif 1029-1050 | If equal X and gross national product of Y during Z, then All of the following hold: (1) there exists W such that W is an instance of collection (2) value of W is X (3) V is an instance of manufacture (4) U is a result of V (5) T is an agent of V (6) T is a member of the citizenry of Y (7) finishes during the time of existence of V (8) ZU is a member of W (9) S is an instance of process (10) service is an attribute of S (11) R is an agent of S (12) R is a member of the citizenry of Y (13) finishes during the time of existence of S (14) ZS is a member of W |
| (=> (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 8806-8826 | If All of the following hold: (1) X is an instance of crystal (2) mono crystalline is an attribute of X (3) Y is an instance of substance (4) solid is an attribute of Y (5) poly crystalline is an attribute of Y (6) Z is an instance of substance (7) Z is a surface of Y (8) X is not a part of Z, then there exist W, V, U such that W is an instance of collection, V is a member count of W, V is greater than or equal to 4, U is a member of WU is a part of Y, and X meets U |
| (=> (subBrand ?BRAND1 ?BRAND2) (exists (?COLL ?OBJ) (and (instance ?COLL Collection) (represents ?BRAND1 ?COLL) (member ?OBJ ?COLL) (represents ?BRAND2 ?OBJ)))) |
Hotel.kif 1346-1353 | If X is a sub-brand of Y, then there exist Z, W such that Z is an instance of collection, Y expresses Z, W is a member of Z, and X expresses W |
| (=> (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE) (subclass ?PRODUCTTYPE Collection)) |
Media.kif 3132-3134 | If X is the title in Y for instances of Z, then Z is a subclass of collection |
| (=> (instance ?A PhasedArrayAntenna) (hasPurpose ?A (exists (?C ?R ?D) (and (instance ?C Collection) (member ?R ?C) (instance ?R RadioEmission) (instrument ?R ?A) (instance ?D DirectionChange) (patient ?D ?R) (not (exists (?M) (and (instance ?M DirectionChange) (patient ?M ?A)))))))) |
Transportation.kif 5410-5425 | If X is an instance of phased array attenna, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of collection (3) Z is a member of Y (4) Z is an instance of radio emission (5) X is an instrument for Z (6) W is an instance of direction change (7) Z is a patient of W (8) there doesn't exist V such that V is an instance of direction change (9) X is a patient of V |
| (=> (instance ?A PESAAntenna) (hasPurpose ?A (exists (?R ?C ?D) (and (instance ?R RadioEmission) (instrument ?R ?A) (during (WhenFn ?R) ?T) (instance ?C Collection) (member ?R ?C) (property ?C ?D) (instance ?D DirectionalAttribute) (not (exists (?D2) (and (instance ?D2 DirectionalAttribute) (property ?C ?D2) (not (equal ?D ?D2))))))))) |
Transportation.kif 5458-5477 | If X is an instance of passive electronically scanned array antenna, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of radio emission (3) X is an instrument for Y (4) the time of existence of Y takes place during V (5) Z is an instance of collection (6) Y is a member of Z (7) Z the attribute W (8) W is an instance of directional attribute (9) there doesn't exist U such that U is an instance of directional attribute (10) Z the attribute U (11) equal W (12) U |
| (=> (tTest ?SAMPLE_COLL1 ?SAMPLE_COLL2 ?PROB) (exists (?POP1 ?POP2 ?EXPERIMENT) (and (instance ?POP1 Collection) (instance ?POP2 Collection) (statisticalPopulation ?SAMPLE_COLL1 ?POP1 ?EXPERIMENT) (statisticalPopulation ?SAMPLE_COLL2 ?POP2 ?EXPERIMENT) (equal ?PROB (ProbabilityFn (equal ?POP1 ?POP2)))))) |
UXExperimentalTerms.kif 607-617 | If the probability that ?SAMPLE_COLL1 and ?SAMPLE_COLL2 are part of the same statistical population is Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of collection (3) W is an instance of collection (4) ?SAMPLE_COLL1 is a sample of Z for V (5) ?SAMPLE_COLL2 is a sample of W for V (6) equal Y (7) the probability of equal Z (8) W |
| (=> (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 | If X is an instance of agent and Y is an instance of web site, then there exists Z such that Z is an instance of collection, W W is an instance of web listing, W is hosted on Y, X sells WW is a member of Z, equal items for sale by X at Y, and Z |
| (=> (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 | If X is an instance of add to cart, Y is an instance of object, Y is a patient of X, and Z is an agent of X, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of collection (3) V is an instance of web site (4) T is an instance of timeframe (5) user Z at V has cart W (6) equal the beginning of T (7) the end of X (8) Y is a member of W holds during U |
| (=> (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 | If X is an instance of watch item, Y is an instance of object, Y is a patient of X, and Z is an agent of X, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of collection (3) V is an instance of web site (4) T is an instance of timeframe (5) user Z on V is watching W (6) equal the beginning of T (7) the end of X (8) Y is a member of W holds during U |
| (=> (userDatabase ?DATABASE ?WEBSITE) (exists (?PART ?USERS) (and (instance ?USERS Collection) (part ?PART ?DATABASE) (represents ?PART ?USERS) (forall (?MEMBER) (=> (member ?MEMBER ?USERS) (and (instance ?MEMBER AutonomousAgent) (exists (?ACCESSING ?PAGE) (and (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (patient ?ACCESSING Page) (agent ?ACCESSING AutonomousAgent) (component ?PAGE ?WEBSITE))))))))) |
UXExperimentalTerms.kif 2174-2192 | If X is the user database for Y, then All of the following hold: (1) there exist Z (2) W such that W is an instance of collection (3) Z is a part of X (4) Z expresses W (5) V V is a member of WV is an instance of agent (6) there exist U (7) T such that U is an instance of accessing web page (8) T is an instance of web page (9) page is a patient of U (10) agent is an agent of U (11) T is a component of Y |
| (=> (siteCatalog ?DATABASE ?WEBSITE) (exists (?PART ?PRODUCTS ?BUYING) (and (instance ?PRODUCTS Collection) (part ?PART ?DATABASE) (represents ?PART ?PRODUCTS) (forall (?MEMBER) (=> (member ?MEMBER ?PRODUCTS) (and (instance ?MEMBER Physical) (capability (KappaFn ?BUYING (and (instance ?BUYING Buying) (eCommerceSite ?BUYING ?WEBSITE))) patient ?MEMBER))))))) |
UXExperimentalTerms.kif 2243-2260 | If X is the catalog for Y, then there exist Z, W, V such that W is an instance of collection, Z is a part of X, Z expresses W, U U is a member of WU is an instance of physical, and U is capable of doing the class described by V as a patient |
| (=> (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 3332-3355 | If X is an instance of collection, Y is an instance of hyperlink, and For all Physical Z: Z is a member of W and Z is an instance of accessing web page and W is a component of Y, then there exists V such that V is an instance of collection, U U is an instance of requesting hyperlink, Y is a patient of UU is a member of V, equal the rate of clicking through Y in X, the number of instances in V, and the number of instances in X |
| (=> (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 3375-3407 | If X is an instance of timeframe and Y is an instance of web site, then All of the following hold: (1) there exists Z such that Z is an instance of collection (2) W W is a member of Zthere exists V such that W is an instance of agent (3) V is an instance of buying (4) W is an agent of V (5) Y is an instrument for V (6) V takes place during X (7) there doesn't exist ?INTERVAL_BEFORE such that ?INTERVAL_BEFORE is an instance of timeframe (8) ?INTERVAL_BEFORE happens earlier than X (9) there exists ?BUYING_BEFORE such that ?BUYING_BEFORE is an instance of buying (10) W is an agent of ?BUYING_BEFORE (11) Y is an instrument for ?BUYING_BEFORE (12) ?BUYING_BEFORE takes place during X holds during ?INTERVAL_BEFORE (13) equal new buyers at Y during X (14) Z |
| (=> (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 3427-3454 | If X is an instance of timeframe and Y is an instance of web site, then All of the following hold: (1) there exists Z such that Z is an instance of collection (2) W W is an instance of human (3) there doesn't exist ?INTERVAL_BEFORE such that ?INTERVAL_BEFORE is an instance of timeframe (4) ?INTERVAL_BEFORE happens earlier than X (5) W is a registered user of Y holds during ?INTERVAL_BEFORE (6) there exists ?INTERVAL_DURING such that ?INTERVAL_DURING is an instance of timeframe (7) ?INTERVAL_DURING takes place during X (8) W is a registered user of Y holds during XW is a member of Z (9) equal Z (10) new registrations at Y during X |
| (=> (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 3474-3506 | If X is an instance of timeframe and Y is an instance of web site, then All of the following hold: (1) there exists Z such that Z is an instance of collection (2) W W is a member of Zthere exists V such that W is an instance of agent (3) V is an instance of selling (4) W is an agent of V (5) Y is an instrument for V (6) V takes place during X (7) there doesn't exist ?INTERVAL_BEFORE such that ?INTERVAL_BEFORE is an instance of timeframe (8) ?INTERVAL_BEFORE happens earlier than X (9) there exists ?SELLING_BEFORE such that ?SELLING_BEFORE is an instance of selling (10) W is an agent of ?SELLING_BEFORE (11) Y is an instrument for ?SELLING_BEFORE (12) ?SELLING_BEFORE takes place during X holds during ?INTERVAL_BEFORE (13) equal new sellers at Y during X (14) Z |
| (=> (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 3848-3859 | If X is an instance of process, Y is an instance of experimenting, Z is an instance of agent, agent experiences Z, and X is a process in Y, then there exists ?CONTROL_GROUP such that ?CONTROL_GROUP is an instance of collection, Z is a member of ?CONTROL_GROUP, and ?CONTROL_GROUP is the control group in Y |
| (=> (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 3965-3976 | If X is an instance of process, Y is an instance of experimenting, Z is an instance of agent, agent experiences Z, and X is a process in Y, then there exists ?TREATMENT_GROUP such that ?TREATMENT_GROUP is an instance of collection, Z is a member of ?TREATMENT_GROUP, and ?TREATMENT_GROUP is the treatment group in Y |
| (=> (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 4205-4220 | If X is an instance of experimenting, then there exists ?QUALIFYING_EVENTS such that ?QUALIFYING_EVENTS is an instance of collection, Z Z is an instance of process, the control in experiment X is Z or Z is a process in XZ is a member of ?QUALIFYING_EVENTS, equal events in X, and ?QUALIFYING_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 4278-4290 | If X is an instance of experimenting, then there exists ?TREATED_USERS such that ?TREATED_USERS is an instance of collection, Z Z is an instance of human, Z is a treated used in XZ is a member of ?TREATED_USERS, equal the treated users in X, and ?TREATED_USERS |
|