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
Il numero 1 argomenti di
QPViewsFn
è un
istanza
di
Umano
(
instance
QPViewsFn
UnaryFunction
)
UXExperimentalTerms.kif 4164-4164
QPViewsFn
è un'
istanza
di
FunzioneUnaria
(
range
QPViewsFn
Collection
)
UXExperimentalTerms.kif 4168-4168
rango
di
QPViewsFn
è un'istanza di
InsiemeConcreto
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
Umano
è un'
istanza
di
Umano
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
WebPage
Processo
and
Experimenting
WebPage
è un'
istanza
di
WebPage
Processo
è un'
istanza
di
AccessingWebPage
Experimenting
è un'
istanza
di
Experimenting
Processo
è un
agente
di
Umano
WebPage
è un
paziente
di
Processo
treatedPage
WebPage
and
Experimenting
Processo
è un
membro
di
InsiemeConcreto
InsiemeConcreto
is
uguale
a
QPViewsFn
Umano
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