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
QPViewsFn
的 1 数量 是
人类
的
instance
(
instance
QPViewsFn
UnaryFunction
)
UXExperimentalTerms.kif 4164-4164
QPViewsFn
是
一元函数
的
instance
(
range
QPViewsFn
Collection
)
UXExperimentalTerms.kif 4168-4168
QPViewsFn
的
range
是
群体
的实例
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
如果
人类
是
人类
的
instance
和
群体
是
群体
的
instance
和 对所有
WebPage
,
过程
, and 和
试验
如果
那个 WebPage
是
WebPage
的
instance
和
那个 过程
是
AccessingWebPage
的
instance
和
那个 试验
是
试验
的
instance
和
那个 人类
是
那个 过程
的
agent
和
那个 WebPage
是
那个 过程
的
patient
和
那个 WebPage
是
那个 试验
的 研究对象,
然后
那个 过程
是
那个 群体
的
member
,
然后
那个 群体
equal
所有的
treated
web
page
浏览从
那个 人类
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