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
SCRFn
Sigma KEE - SCRFn
SCRFn
appearance as argument number 1
(
documentation
SCRFn
EnglishLanguage
"(SCRFn ?COLL ?INTERVAL) returns purchases made during an interval / the number of visits made during the interval. This accounts for single visits resulting in multiple purchases by the buyer.")
UXExperimentalTerms.kif 3664-3666
(
domain
SCRFn
1
Collection
)
UXExperimentalTerms.kif 3658-3658
SCRFn
の数値 1 引数は
コレクション
の
instance
では %n
(
domain
SCRFn
2
TimeInterval
)
UXExperimentalTerms.kif 3660-3660
SCRFn
の数値 2 引数は
時間間隔
の
instance
では %n
(
instance
SCRFn
BinaryFunction
)
UXExperimentalTerms.kif 3656-3656
SCRFn
は
2変数関数
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
SCRFn
"purchases 花在 %1 期间 %2 ")
domainEnglishFormat.kif 4470-4470
(
format
ChineseTraditionalLanguage
SCRFn
"purchases 花在 %1 期間 %2 ")
domainEnglishFormat.kif 4469-4469
(
format
EnglishLanguage
SCRFn
"purchases made in %1 during %2")
domainEnglishFormat.kif 4468-4468
(
termFormat
EnglishLanguage
SCRFn
"sales conversion rate")
UXExperimentalTerms.kif 3662-3662
consequent
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
exists
(?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3668-3704
コレクション
は
コレクション
の
instance
では %n
コレクション
は
コレクション
の
instance
では %n
コレクション
は
コレクション
の 適切な
sub
-collection では %n
物理
物理
は
コレクション
の
member
では %n
物理
は
AccessingWebPage
の
instance
では %n
工程
AutonomousAgent
,
工程
,
工程
and
オブジェクト
AutonomousAgent
は
人[人間]
の
instance
では %n
工程
は
購買
の
instance
では %n
工程
は
AccessingWebPage
の
instance
では %n
オブジェクト
は
WebPage
の
instance
では %n
工程
は
コレクション
の
member
では %n
工程
は
オブジェクト
に
end
s %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
の
time
の existence は
工程
の
time
の existence の
during
に takes %n{ない}
オブジェクト
は
工程
の
instrument
では %n
工程
は
コレクション
の
member
では %n
時間間隔
エンティティー
_IN_INTERVAL and
エンティティー
_IN_INTERVAL
SCRFn
コレクション
and
時間間隔
は
エンティティー
_IN_INTERVALで記述される
class
の
instances
の数 +
エンティティー
_IN_INTERVALで記述される
class
の
instances
の数 と
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