Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SCRFn |
| appearance as argument number 1 |
|
| (instance SCRFn BinaryFunction) | UXExperimentalTerms.kif 3655-3655 | Sales conversion rate is an instance of binary function |
| (domain SCRFn 1 Collection) | UXExperimentalTerms.kif 3656-3656 | The number 1 argument of sales conversion rate is an instance of collection |
| (domain SCRFn 2 TimeInterval) | UXExperimentalTerms.kif 3657-3657 | The number 2 argument of sales conversion rate is an instance of timeframe |
| (range SCRFn RealNumber) | UXExperimentalTerms.kif 3658-3658 | The range of sales conversion rate is an instance of real number |
| (documentation SCRFn EnglishLanguage "(SCRFn ?COLL ?INTERVAL) returns purchases made during an interval / the number of visits made during the interval. This accounts for single visits resulting in multiple purchases by the buyer.") | UXExperimentalTerms.kif 3661-3663 | The range of sales conversion rate is an instance of real number |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SCRFn "sales conversion rate") | UXExperimentalTerms.kif 3659-3659 | |
| (format EnglishLanguage SCRFn "purchases made in %1 during %2") | domainEnglishFormat.kif 4472-4472 | |
| (format ChineseTraditionalLanguage SCRFn "purchases 花在 %1 期間 %2 ") | domainEnglishFormat.kif 4473-4473 | |
| (format ChineseLanguage SCRFn "purchases 花在 %1 期间 %2 ") | domainEnglishFormat.kif 4474-4474 |
| consequent |
|
|
| (=> (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 |
|