Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
firstTimeSellers
Sigma KEE - firstTimeSellers
firstTimeSellers
appearance as argument number 1
(
documentation
firstTimeSellers
EnglishLanguage
"(firstTimeSellers ?INT ?SITE ?COLL) means that ?COLL is the
Collection
of
Agent
s who are
agent
s of
Selling
s where the
WebSite
?SITE is the
eCommerceSite
?SITE
during
the
TimeInterval
?INT, where no
Selling
exist with the same conditions prior to ?INT.")
UXExperimentalTerms.kif 3779-3782
(
domain
firstTimeSellers
1
TimeInterval
)
UXExperimentalTerms.kif 3771-3771
The number 1 argument of
first time buyers
is an
instance
of
time interval
(
domain
firstTimeSellers
2
WebSite
)
UXExperimentalTerms.kif 3773-3773
The number 2 argument of
first time buyers
is an
instance
of
WebSite
(
domain
firstTimeSellers
3
Collection
)
UXExperimentalTerms.kif 3775-3775
The number 3 argument of
first time buyers
is an
instance
of
collection
(
instance
firstTimeSellers
TernaryPredicate
)
UXExperimentalTerms.kif 3769-3769
first time buyers
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
firstTimeSellers
"%3 是在 %2 的 first
time
sellers 在其间 %1 ")
domainEnglishFormat.kif 3459-3459
(
format
ChineseTraditionalLanguage
firstTimeSellers
"%3 是在 %2 的 first
time
sellers 在其間 %1 ")
domainEnglishFormat.kif 3458-3458
(
format
EnglishLanguage
firstTimeSellers
"%3 are first
time
sellers on %2 during %1")
domainEnglishFormat.kif 3457-3457
(
termFormat
EnglishLanguage
firstTimeSellers
"first time buyers")
UXExperimentalTerms.kif 3777-3777
antecedent
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
during
(
WhenFn
?SELLING) ?INT))))
UXExperimentalTerms.kif 3790-3799
If
a collection
are
first
time
sellers
on
a WebSite
during
a time interval
and
an agent
is a
member
of
the collection
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
selling
and
the agent
is an
agent
of
the financial transaction
and
the WebSite
facilitates
the financial transaction
and the
time
of existence of
the financial transaction
takes place
during
the time interval
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
instance
?MEMBER
Agent
))
UXExperimentalTerms.kif 3784-3788
If
a collection
are
first
time
sellers
on
a WebSite
during
a time interval
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
agent
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
earlier
(
WhenFn
?SELLING) ?INT)))))
UXExperimentalTerms.kif 3801-3811
If
a collection
are
first
time
sellers
on
a WebSite
during
a time interval
and
an agent
is a
member
of
the collection
,
then there doesn't exist
a financial transaction
such that
the financial transaction
is an
instance
of
selling
and
the agent
is an
agent
of
the financial transaction
and
the WebSite
facilitates
the financial transaction
and the
time
of existence of
the financial transaction
happens
earlier
than
the time interval
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
firstTimeSellers