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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BestMatchAlgorithm
BestMatchAlgorithm

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


(documentation BestMatchAlgorithm EnglishLanguage "A Procedure that hasPurpose of there being a SearchEngine that is its agent, a SearchQuery which is its patient SRPResults being its agent.") UXExperimentalTerms.kif 2478-2480
(subclass BestMatchAlgorithm Procedure) UXExperimentalTerms.kif 2476-2476 subclass BestMatchAlgorithm and Procedure

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


(termFormat EnglishLanguage BestMatchAlgorithm "best match sort") UXExperimentalTerms.kif 2482-2482

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


(=>
    (instance ?BM BestMatchAlgorithm)
    (hasPurpose ?BM
        (exists (?QUERY ?SEARCHATTEMPT ?OBJECT ?AGENT)
            (and
                (instance ?QUERY SearchQuery)
                (instance ?SEARCHATTEMPT SearchAttempt)
                (represents ?QUERY ?SEARCHATTEMPT)
                (patient ?BM ?QUERY)
                (instance ?AGENT Agent)
                (patient ?SEARCHATTEMPT ?OBJECT)
                (agent ?SEARCHATTEMPT ?AGENT)))))
UXExperimentalTerms.kif 2508-2519
(=>
    (instance ?BM BestMatchAlgorithm)
    (hasPurpose ?BM
        (exists (?RESULT)
            (and
                (instance ?RESULT SRPResults)
                (result ?BM ?RESULT)))))
UXExperimentalTerms.kif 2500-2506
(=>
    (instance ?BM BestMatchAlgorithm)
    (hasPurpose ?BM
        (exists (?SEARCHENGINE)
            (and
                (instance ?SEARCHENGINE SearchEngine)
                (agent ?BM ?SEARCHENGINE)))))
UXExperimentalTerms.kif 2484-2490
(=>
    (instance ?BM BestMatchAlgorithm)
    (hasPurpose ?BM
        (exists (?SearchQuery)
            (and
                (instance ?SearchQuery SearchQuery)
                (patient ?BM ?SearchQuery)))))
UXExperimentalTerms.kif 2492-2498

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


(=>
    (and
        (instance ?SEO SEO)
        (patient ?SEO ?PAGE))
    (hasPurpose ?SEO
        (exists (?SRPRESULT_BEFORE ?SRPRESULT_AFTER ?BM1 ?BM2)
            (and
                (instance ?SRPRESULT_BEFORE SRPResults)
                (instance ?SRPRESULT_AFTER SRPResults)
                (equal ?PAGE
                    (ListOrderFn ?SRPRESULT_BEFORE ?BEFORE))
                (equal ?PAGE
                    (ListOrderFn ?SRPRESULT_AFTER ?AFTER))
                (instance ?BM1 BestMatchAlgorithm)
                (instance ?BM2 BestMatchAlgorithm)
                (earlier
                    (WhenFn ?BM1)
                    (WhenFn ?BM2))
                (earlier
                    (WhenFn ?SEO)
                    (WhenFn ?BM2))
                (earlier
                    (WhenFn ?BM1)
                    (WhenFn ?SEO))
                (greaterThan ?BEFORE ?AFTER)))))
UXExperimentalTerms.kif 2595-2611
(=>
    (instance ?RESULTS SRPResults)
    (exists (?BM)
        (and
            (instance ?BM BestMatchAlgorithm)
            (result ?BM ?RESULTS))))
UXExperimentalTerms.kif 2683-2688


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