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
eCommerceSite
Sigma KEE - eCommerceSite
eCommerceSite
appearance as argument number 1
(
documentation
eCommerceSite
EnglishLanguage
"This
CaseRole
relates an instance of a
FinancialTransaction
to the
WebSite
that facilitaed the sale.")
UXExperimentalTerms.kif 1713-1714
(
domain
eCommerceSite
1
FinancialTransaction
)
UXExperimentalTerms.kif 1705-1705
The number 1 argument of
e-commerce site
is an
instance
of
financial transaction
(
domain
eCommerceSite
2
WebSite
)
UXExperimentalTerms.kif 1707-1707
The number 2 argument of
e-commerce site
is an
instance
of
web site
(
instance
eCommerceSite
CaseRole
)
UXExperimentalTerms.kif 1703-1703
e-commerce site
is an
instance
of
case role
(
subrelation
eCommerceSite
broker
)
UXExperimentalTerms.kif 1711-1711
e-commerce site
is a
subrelation
of
broker
(
subrelation
eCommerceSite
instrument
)
UXExperimentalTerms.kif 1709-1709
e-commerce site
is a
subrelation
of
instrument
appearance as argument number 2
(
format
ChineseLanguage
eCommerceSite
"%2 facilitates %1 ")
domainEnglishFormat.kif 3294-3294
(
format
ChineseTraditionalLanguage
eCommerceSite
"%2 facilitates %1 ")
domainEnglishFormat.kif 3293-3293
(
format
EnglishLanguage
eCommerceSite
"%2 facilitates %1")
domainEnglishFormat.kif 3292-3292
(
termFormat
EnglishLanguage
eCommerceSite
"e-commerce site")
domainEnglishFormat.kif 65816-65816
consequent
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
during
(
WhenFn
?BUYING) ?INT))))
UXExperimentalTerms.kif 3534-3543
If
a collection
are
first
time
buyers
on
a web site
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
buying
and
the agent
is an
agent
of
the financial transaction
and
the web site
facilitates
the financial transaction
and the
time
of existence of
the financial transaction
takes place
during
the time interval
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
earlier
(
WhenFn
?BUYING) ?INT)))))
UXExperimentalTerms.kif 3545-3555
If
a collection
are
first
time
buyers
on
a web site
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
buying
and
the agent
is an
agent
of
the financial transaction
and
the web site
facilitates
the financial transaction
and the
time
of existence of
the financial transaction
happens
earlier
than
the time interval
(=>
(
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 3582-3591
If
a collection
are
first
time
sellers
on
a web site
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 web site
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))
(
not
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
earlier
(
WhenFn
?SELLING) ?INT)))))
UXExperimentalTerms.kif 3593-3603
If
a collection
are
first
time
sellers
on
a web site
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 web site
facilitates
the financial transaction
and the
time
of existence of
the financial transaction
happens
earlier
than
the time interval
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
WebListing
))))
(
equal
(
DivisionFn
(
CardinalityFn
(
exists
(?LISTING ?SITE ?ITEM)
(
KappaFn
?LISTING
(
and
(
instance
?LISTING
WebListing
)
(
instance
?SITE
WebSite
)
(
instance
?ITEM
Physical
)
(
member
?LISTING ?COLL)
(
patient
?LISTING ?ITEM)
(
hostedOn
?LISTING ?SITE)
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?ITEM)
(
eCommerceSite
?BUYING ?SITE)))))))
(
CardinalityFn
?COLL))
(
BidCountFn
?COLL)))
UXExperimentalTerms.kif 2845-2870
If
a collection
is an
instance
of
collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
web listing
,
then the number of
instances
in there exist
an entity
,
another entity
and
a third entity
such that the
class
described by
the entity
and the number of
instances
in
the collection
is
equal
to number of
bids
in
the collection
(=>
(
and
(
listingBuyer
?LISTING ?BUYER)
(
instance
?OBJ
Object
)
(
instance
?SITE
WebSite
)
(
patient
?LISTING ?OBJECT)
(
hostedOn
?LISTING ?SITE))
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
eCommerceSite
?BUYING ?SITE)
(
agent
?BUYING ?BUYER))))
UXExperimentalTerms.kif 86-98
If
an agent
buys
a web listing
and
an entity
is an
instance
of
object
and
a web site
is an
instance
of
web site
and
the entity
ECT is a
patient
of
the web listing
and
the web listing
is
hosted
on
the web site
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
buying
and
the entity
is a
patient
of
the financial transaction
and
the web site
facilitates
the financial transaction
and
the agent
is an
agent
of
the financial transaction
(=>
(
and
(
webPurchases
?PURCHASES ?BUYER ?SITE)
(
member
?BUYING ?PURCHASES))
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?BUYER)
(
eCommerceSite
?BUYING ?SITE)))
UXExperimentalTerms.kif 839-846
If user
a human
at
a web site
has
bought
a collection
and
a financial transaction
is a
member
of
the collection
,
then
the financial transaction
is an
instance
of
buying
and
the human
is an
agent
of
the financial transaction
and
the web site
facilitates
the financial transaction
(=>
(
and
(
webSales
?SALES ?SELLER ?SITE)
(
member
?SELLING ?SALES))
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE)))
UXExperimentalTerms.kif 934-941
If user
a human
at
a web site
has
sold
a collection
and
a financial transaction
is a
member
of
the collection
,
then
the financial transaction
is an
instance
of
selling
and
the human
is an
agent
of
the financial transaction
and
the web site
facilitates
the financial transaction
(=>
(
instance
?CHARGE
FinalValueFee
)
(
exists
(?ADVERT ?SELLING ?OWNER ?ITEM ?SITE)
(
and
(
instance
?ADVERT
WebListing
)
(
instance
?SELLING
Selling
)
(
instance
?OWNER
AutonomousAgent
)
(
instance
?ITEM
Physical
)
(
instance
?ADVERT
WebListing
)
(
patient
?ADVERT ?ITEM)
(
patient
?SELLING ?ITEM)
(
causes
?SELLING ?CHARGE)
(
agent
?CHARGE ?OWNER)
(
hostedOn
?ADVERT ?SITE)
(
possesses
?OWNER ?SITE)
(
eCommerceSite
?SELLING ?OWNER))))
UXExperimentalTerms.kif 240-255
If
a process
is an
instance
of
final fee
,
then there exist
a web listing
,
a financial transaction
,, ,
an agent
,, ,
an entity
and
a web site
such that
the web listing
is an
instance
of
web listing
and
the financial transaction
is an
instance
of
selling
and
the agent
is an
instance
of
agent
and
the entity
is an
instance
of
physical
and
the web listing
is an
instance
of
web listing
and
the entity
is a
patient
of
the web listing
and
the entity
is a
patient
of
the financial transaction
and
the financial transaction
cause
s
the process
and
the agent
is an
agent
of
the process
and
the web listing
is
hosted
on
the web site
and
the agent
possess
es
the web site
and
the agent
facilitates
the financial transaction
(=>
(
prohibitedItem
?ITEM ?SITE)
(
modalAttribute
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
eCommerceSite
?SELLING ?SITE)))
Prohibition
))
UXExperimentalTerms.kif 398-405
If
an object
is
prohibited
for sale on
a web site
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
selling
and
the web site
facilitates
the entity
has the
modal
force
of
prohibition
(=>
(
siteCatalog
?DATABASE ?WEBSITE)
(
exists
(?PART ?PRODUCTS ?BUYING)
(
and
(
instance
?PRODUCTS
Collection
)
(
part
?PART ?DATABASE)
(
represents
?PART ?PRODUCTS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PRODUCTS)
(
and
(
instance
?MEMBER
Physical
)
(
capability
(
KappaFn
?BUYING
(
and
(
instance
?BUYING
Buying
)
(
eCommerceSite
?BUYING ?WEBSITE)))
patient
?MEMBER)))))))
UXExperimentalTerms.kif 2242-2259
If
a database
is the
catalog
for
a web site
,
then there exist
an object
,
a collection
and
a symbolic string
such that
the collection
is an
instance
of
collection
and
the object
is a
part
of
the database
and
the object
express
es
the collection
and for all
another object
if
the other object
is a
member
of
the collection
,
then
the other object
is an
instance
of
physical
and
the other object
is
capable
of doing the
class
described by
the symbolic string
as a
patient
(=>
(
webPurchases
?PURCHASES ?BUYER ?SITE)
(
forall
(?BUYING)
(=>
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?BUYER)
(
eCommerceSite
?BUYING ?SITE))
(
member
?BUYING ?PURCHASES))))
UXExperimentalTerms.kif 829-837
If user
a human
at
a web site
has
bought
a collection
,
then for all
a financial transaction
if
the financial transaction
is an
instance
of
buying
and
the human
is an
agent
of
the financial transaction
and
the web site
facilitates
the financial transaction
,
then
the financial transaction
is a
member
of
the collection
(=>
(
webSales
?SALES ?SELLER ?SITE)
(
forall
(?SELLING)
(=>
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE))
(
member
?SELLING ?SALES))))
UXExperimentalTerms.kif 924-932
If user
a human
at
a web site
has
sold
a collection
,
then for all
a financial transaction
if
the financial transaction
is an
instance
of
selling
and
the human
is an
agent
of
the financial transaction
and
the web site
facilitates
the financial transaction
,
then
the financial transaction
is a
member
of
the collection
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