SCRFn - Sigma 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	The number 1 argument of sales conversion rate is an instance of collection
(domain SCRFn 2 TimeInterval)	UXExperimentalTerms.kif 3660-3660	The number 2 argument of sales conversion rate is an instance of time interval
(instance SCRFn BinaryFunction)	UXExperimentalTerms.kif 3656-3656	Sales conversion rate is an instance of binary function

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

If a collection is an instance of collection and another collection is an instance of collection and the other collection is a proper sub-collection of the collection and for all a physical
- if the physical is a member of the collection,
- then the physical is an instance of accessing web page
and for all a process, an agent,, , another process,, , the process and an object
- if the agent is an instance of human and the process is an instance of buying and the other process is an instance of accessing web page and the object is an instance of web page and the other process is a member of the collection and the other process ends up at the object and the agent is an agent of the process and the agent is an agent of the other process and the time of existence of the process takes place during the time of existence of the other process and the object is an instrument for the process,
- then the process is a member of the other collection
,
then there exist a time interval, an entity_IN_INTERVAL and another entity_IN_INTERVAL such that purchases made in the collection during the time interval is equal to the number of instances in the class described by the entity_IN_INTERVAL and the number of instances in the class described by the other entity_IN_INTERVAL

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: