Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SEO(search engine optimization) |
| appearance as argument number 1 |
|
| (instance SEO Process) | UXExperimentalTerms.kif 2376-2376 | Search engine optimization is an instance of process |
| (documentation SEO EnglishLanguage "A Process which makes a WebPage more likely to be listed higher in a SRPResults List.") | UXExperimentalTerms.kif 2380-2381 | Search engine optimization is an instance of process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SEO "search engine optimization") | UXExperimentalTerms.kif 2378-2378 |
| antecedent |
|
|
| (=> (and (instance ?SEO SEO) (patient ?SEO ?PAGE)) (instance ?PAGE WebPage)) |
UXExperimentalTerms.kif 2383-2387 | If X is an instance of search engine optimization and Y is a patient of X, then Y is an instance of web page |
| (=> (and (instance ?SEO SEO) (patient ?SEO ?PAGE)) (hasPurpose ?SEO (exists (?SRPRESULT_BEFORE ?SRPRESULT_AFTER ?BEFORE ?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 2389-2405 | If X is an instance of search engine optimization and Y is a patient of X, then All of the following hold: (1) X has the purpose there exist ?SRPRESULT_BEFORE, ?SRPRESULT_AFTER,, , W,, , V,, , U (2) T such that ?SRPRESULT_BEFORE is an instance of search results (3) ?SRPRESULT_AFTER is an instance of search results (4) equal Y (5) S element of ?SRPRESULT_BEFORE (6) equal Y (7) R element of ?SRPRESULT_AFTER (8) U is an instance of best match sort (9) T is an instance of best match sort (10) the time of existence of U happens earlier than the time of existence of T (11) the time of existence of X happens earlier than the time of existence of T (12) the time of existence of U happens earlier than the time of existence of X (13) W is greater than V |
|