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
(
domain
eCommerceSite
2
WebSite
)
UXExperimentalTerms.kif 1707-1707
(
instance
eCommerceSite
CaseRole
)
UXExperimentalTerms.kif 1703-1703
(
subrelation
eCommerceSite
broker
)
UXExperimentalTerms.kif 1711-1711
(
subrelation
eCommerceSite
instrument
)
UXExperimentalTerms.kif 1709-1709
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
(=>
(
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
(=>
(
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
(=>
(
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
(=>
(
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
(=>
(
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
(=>
(
and
(
webPurchases
?PURCHASES ?BUYER ?SITE)
(
member
?BUYING ?PURCHASES))
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?BUYER)
(
eCommerceSite
?BUYING ?SITE)))
UXExperimentalTerms.kif 839-846
(=>
(
and
(
webSales
?SALES ?SELLER ?SITE)
(
member
?SELLING ?SALES))
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE)))
UXExperimentalTerms.kif 934-941
(=>
(
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
(=>
(
prohibitedItem
?ITEM ?SITE)
(
modalAttribute
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
eCommerceSite
?SELLING ?SITE)))
Prohibition
))
UXExperimentalTerms.kif 398-405
(=>
(
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
(=>
(
webPurchases
?PURCHASES ?BUYER ?SITE)
(
forall
(?BUYING)
(=>
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?BUYER)
(
eCommerceSite
?BUYING ?SITE))
(
member
?BUYING ?PURCHASES))))
UXExperimentalTerms.kif 829-837
(=>
(
webSales
?SALES ?SELLER ?SITE)
(
forall
(?SELLING)
(=>
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE))
(
member
?SELLING ?SALES))))
UXExperimentalTerms.kif 924-932
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