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 4172-4173
(
domain
QPViewsFn
1
Human
)
UXExperimentalTerms.kif 4166-4166
O argumento numero 1 de
QPViewsFn
e' uma
instancia
de
Humano
(
instance
QPViewsFn
UnaryFunction
)
UXExperimentalTerms.kif 4164-4164
QPViewsFn
e' uma
instancia
de
funcao Unaria
(
range
QPViewsFn
Collection
)
UXExperimentalTerms.kif 4168-4168
O
contra
-dominio de
QPViewsFn
e' uma instancia de
Colecao
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
Humano
e' uma
instancia
de
Humano
Colecao
e' uma
instancia
de
Colecao
WebPage
Processo
and
Experimenting
WebPage
e' uma
instancia
de
WebPage
Processo
e' uma
instancia
de
AccessingWebPage
Experimenting
e' uma
instancia
de
Experimenting
Processo
e' um
agente
de
Humano
WebPage
e' um
patient
de
Processo
treatedPage
WebPage
and
Experimenting
Processo
e'
membro
de
Colecao
Colecao
e'
igual
a
QPViewsFn
Humano
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