TreeView Knowledge Base Browser

appearance as argument number 1

(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 3664-3666
(domain SCRFn 1 Collection)	UXExperimentalTerms.kif 3658-3658	域 SCRFn, 1 and Collection
(domain SCRFn 2 TimeInterval)	UXExperimentalTerms.kif 3660-3660	域 SCRFn, 2 and TimeInterval
(instance SCRFn BinaryFunction)	UXExperimentalTerms.kif 3656-3656	例 SCRFn and BinaryFunction

appearance as argument number 2

(format ChineseLanguage SCRFn "purchases 花在 %1 期间 %2 ")	domainEnglishFormat.kif 4470-4470
(format ChineseTraditionalLanguage SCRFn "purchases 花在 %1 期間 %2 ")	domainEnglishFormat.kif 4469-4469
(format EnglishLanguage SCRFn "purchases made in %1 during %2")	domainEnglishFormat.kif 4468-4468
(termFormat EnglishLanguage SCRFn "sales conversion rate")	UXExperimentalTerms.kif 3662-3662

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 3668-3704

例 Collection and Collection 例 Collection and Collection 子集合 Collection and Collection Physical
- 會員 Physical and Collection
- 例 Physical and AccessingWebPage
Process AutonomousAgent, Process, Process and Object
- 例 AutonomousAgent and Human 例 Process and Buying 例 Process and AccessingWebPage 例 Object and WebPage 會員 Process and Collection 目的地 Process and Object agent Process and AutonomousAgent agent Process and AutonomousAgent 期間何時 Process and 何時 Process 儀器 Process and Object
- 會員 Process and Collection
TimeInterval entity_IN_INTERVAL and entity_IN_INTERVAL 等於 purchases 花在 Collection 期間 TimeInterval and 部基數卡帕 entity_IN_INTERVAL and 會員 entity_IN_INTERVAL and Collection 期間何時 entity_IN_INTERVAL and TimeInterval and 基數卡帕 entity_IN_INTERVAL and 會員 entity_IN_INTERVAL and Collection 期間何時 entity_IN_INTERVAL and TimeInterval

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

KB Term:			Term intersection

English Word: