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
では %n
(
instance
QPViewsFn
UnaryFunction
)
UXExperimentalTerms.kif 4164-4164
QPViewsFn
は
1変数関数
の
instance
では %n
(
range
QPViewsFn
Collection
)
UXExperimentalTerms.kif 4168-4168
QPViewsFn
の
range
は
コレクション
のインスタンス では %n
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
では %n
コレクション
は
コレクション
の
instance
では %n
WebPage
工程
and
Experimenting
WebPage
は
WebPage
の
instance
では %n
工程
は
AccessingWebPage
の
instance
では %n
Experimenting
は
Experimenting
の
instance
では %n
人[人間]
は
工程
の
agent
では %n
WebPage
は
工程
の
patient
では %n
treatedPage
WebPage
and
Experimenting
工程
は
コレクション
の
member
では %n
コレクション
は
QPViewsFn
人[人間]
と
equal
では %n
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