Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VisitorProfile
VisitorProfile

appearance as argument number 1
-------------------------


(documentation VisitorProfile EnglishLanguage "A type of Collection of Formulas which are known by someone who possesses a WebSite. All the members of this collection refer to a common Agent, and visitorParameters of a common WebSite") UXExperimentalTerms.kif 1324-1326
(subclass VisitorProfile Collection) UXExperimentalTerms.kif 1320-1320 subclass VisitorProfile and Collection

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage VisitorProfile "visitor profile") UXExperimentalTerms.kif 1322-1322

antecedent
-------------------------


(=>
    (and
        (instance ?PROFILE VisitorProfile)
        (member ?FORMULA ?PROFILE))
    (instance ?FORMULA Formula))
UXExperimentalTerms.kif 1328-1332
(=>
    (instance ?PROFILE VisitorProfile)
    (exists (?USER ?SITE)
        (and
            (instance ?USER Agent)
            (instance ?SITE WebSite)
            (forall (?FORMULA)
                (=>
                    (and
                        (member ?FORMULA ?PROFILE)
                        (instance ?FORMULA Formula))
                    (visitorParameter ?USER ?FORMULA ?SITE))))))
UXExperimentalTerms.kif 1334-1345

consequent
-------------------------


(=>
    (visitorParameter ?VISITOR ?FORMULA ?SITE)
    (exists (?PROFILE)
        (and
            (instance ?PROFILE VisitorProfile)
            (member ?FORMULA ?PROFILE))))
UXExperimentalTerms.kif 1381-1386


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners