TreeView Knowledge Base Browser - SiteWideNewBuyersFn

appearance as argument number 1

(documentation SiteWideNewBuyersFn EnglishLanguage "(SiteWideNewBuyersFn ?INTERVAL ?SITE) Returns a collection of Agents who were agents of a Buying during TimeInterval ?INTERVAL where ?SITE was the instrument, and who were not registeredUsers before ?INTERVAL.")	UXExperimentalTerms.kif 3372-3374
(domain SiteWideNewBuyersFn 1 TimeInterval)	UXExperimentalTerms.kif 3364-3364	O argumento numero 1 de SiteWideNewBuyersFn e' uma instancia de Intervalo Temporal
(domain SiteWideNewBuyersFn 2 WebSite)	UXExperimentalTerms.kif 3366-3366	O argumento numero 2 de SiteWideNewBuyersFn e' uma instancia de WebSite
(instance SiteWideNewBuyersFn BinaryFunction)	UXExperimentalTerms.kif 3362-3362	SiteWideNewBuyersFn e' uma instancia de Funcao Binaria
(range SiteWideNewBuyersFn Collection)	UXExperimentalTerms.kif 3368-3368	O contra-dominio de SiteWideNewBuyersFn e' uma instancia de Colecao

appearance as argument number 2

(format ChineseLanguage SiteWideNewBuyersFn "new buyers 在 %2 其间 %1 ")	domainEnglishFormat.kif 4538-4538
(format ChineseTraditionalLanguage SiteWideNewBuyersFn "new buyers 在 %2 其間 %1 ")	domainEnglishFormat.kif 4537-4537
(format EnglishLanguage SiteWideNewBuyersFn "new buyers at %2 during %1")	domainEnglishFormat.kif 4536-4536
(termFormat EnglishLanguage SiteWideNewBuyersFn "new buyers")	UXExperimentalTerms.kif 3370-3370

consequent

(=>
    (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 3376-3408

Intervalo Temporal e' uma instancia de Intervalo Temporal WebSite e' uma instancia de WebSite
Colecao Colecao e' uma instancia de Colecao AutonomousAgent
- AutonomousAgent e' membro de Colecao
- Intervalo Temporal AutonomousAgent e' uma instancia de AutonomousAgent Intervalo Temporal e' uma instancia de Comprar Intervalo Temporal e' um agente de AutonomousAgent WebSite e' um instrumento para Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Intervalo Temporal Intervalo Temporal_BEFORE acontence antes de Intervalo Temporal Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE e' uma instancia de Comprar Intervalo Temporal_BEFORE e' um agente de AutonomousAgent WebSite e' um instrumento para Intervalo Temporal_BEFORE Intervalo Temporal_BEFORE acontece durante Intervalo Temporal vale durante Intervalo Temporal_BEFORE
SiteWideNewBuyersFn Intervalo Temporal and WebSite e' igual a Colecao

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

KB Term:			Term intersection

English Word: