| appearance as argument number 1 |
|
| (documentation QPViewsFn EnglishLanguage "(QPViewsFn ?VISITOR) returns all the instances of AccessingWebPage where ?Visitor is the agent and the desitination is a treatedPage") | UXExperimentalTerms.kif 4172-4173 | |
| (domain QPViewsFn 1 Human) | UXExperimentalTerms.kif 4166-4166 | Le nombre 1 argument de QPViewsFn est une instance de humain |
| (instance QPViewsFn UnaryFunction) | UXExperimentalTerms.kif 4164-4164 | QPViewsFn est une instance de function unaire |
| (range QPViewsFn Collection) | UXExperimentalTerms.kif 4168-4168 | Le domaine de QPViewsFn est une instance de collection |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage QPViewsFn "所有的 treated web page 浏览从 %1") | domainEnglishFormat.kif 4286-4286 | |
| (format ChineseTraditionalLanguage QPViewsFn "所有的 treated web page 瀏覽從 %1 ") | domainEnglishFormat.kif 4285-4285 | |
| (format EnglishLanguage QPViewsFn "all the treated web page views from %1") | domainEnglishFormat.kif 4284-4284 | |
| (termFormat EnglishLanguage QPViewsFn "qualifed page views") | UXExperimentalTerms.kif 4170-4170 |
| consequent |
|
|
| (=> (and (instance ?VISITOR Human) (instance ?QPVIEWS Collection) (forall (?PAGE ?ACCESSING ?EXPERIMENT) (=> (and (instance ?PAGE WebPage) (instance ?ACCESSING AccessingWebPage) (instance ?EXPERIMENT Experimenting) (agent ?ACCESSING ?VISITOR) (patient ?ACCESSING ?PAGE) (treatedPage ?PAGE ?EXPERIMENT)) (member ?ACCESSING ?QPVIEWS)))) (equal ?QPVIEWS (QPViewsFn ?VISITOR))) |
UXExperimentalTerms.kif 4175-4190 |
|
|
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