Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
QPViewsFn
Sigma KEE - QPViewsFn
QPViewsFn
appearance as argument number 1
(
documentation
QPViewsFn
EnglishLanguage
"(QPViewsFn ?VISITOR) returns all the instances of
AccessingWebPage
where ?Visitor is the
agent
and the
de
sitination is a
treatedPage
")
UXExperimentalTerms.kif 4180-4181
(
domain
QPViewsFn
1
Human
)
UXExperimentalTerms.kif 4174-4174
Le nombre 1 argument de
QPViewsFn
est une
instance
de
humain
(
instance
QPViewsFn
UnaryFunction
)
UXExperimentalTerms.kif 4172-4172
QPViewsFn
est une
instance
de
function unaire
(
range
QPViewsFn
Collection
)
UXExperimentalTerms.kif 4176-4176
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 4178-4178
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 4183-4198
Humain
est une
instance
de
humain
collection
est une
instance
de
collection
WebPage
processus
and
Experimenting
WebPage
est une
instance
de
WebPage
processus
est une
instance
de
AccessingWebPage
Experimenting
est une
instance
de
Experimenting
processus
est un
agent
de
humain
WebPage
est un
patient
de
processus
treatedPage
WebPage
and
Experimenting
processus
est un
membre
de
collection
collection
est
QPViewsFn
humain
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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