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
Le nombre 1 argument de
eCommerceSite
est une
instance
de
financial transaction
(
domain
eCommerceSite
2
WebSite
)
UXExperimentalTerms.kif 1707-1707
Le nombre 2 argument de
eCommerceSite
est une
instance
de
WebSite
(
instance
eCommerceSite
CaseRole
)
UXExperimentalTerms.kif 1703-1703
eCommerceSite
est une
instance
de
r�le d�pendant du cas
(
subrelation
eCommerceSite
broker
)
UXExperimentalTerms.kif 1711-1711
eCommerceSite
est une
sous
-relation de
broker
(
subrelation
eCommerceSite
instrument
)
UXExperimentalTerms.kif 1709-1709
eCommerceSite
est une
sous
-relation de
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 65818-65818
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
firstTimeBuyers
interval temporel
,
WebSite
and
collection
AutonomousAgent
est un
membre
de
collection
financial transaction
financial transaction
est une
instance
de
acheter
financial transaction
est un
agent
de
AutonomousAgent
eCommerceSite
financial transaction
and
WebSite
temps
d'existence de
financial transaction
prend place
pendant
interval temporel
(=>
(
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
firstTimeBuyers
interval temporel
,
WebSite
and
collection
AutonomousAgent
est un
membre
de
collection
financial transaction
financial transaction
est une
instance
de
acheter
financial transaction
est un
agent
de
AutonomousAgent
eCommerceSite
financial transaction
and
WebSite
temps
d'existence de
financial transaction
arrive
plus
t�t que
interval temporel
(=>
(
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
firstTimeSellers
interval temporel
,
WebSite
and
collection
AutonomousAgent
est un
membre
de
collection
financial transaction
financial transaction
est une
instance
de
vendre
financial transaction
est un
agent
de
AutonomousAgent
eCommerceSite
financial transaction
and
WebSite
temps
d'existence de
financial transaction
prend place
pendant
interval temporel
(=>
(
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
firstTimeSellers
interval temporel
,
WebSite
and
collection
AutonomousAgent
est un
membre
de
collection
financial transaction
financial transaction
est une
instance
de
vendre
financial transaction
est un
agent
de
AutonomousAgent
eCommerceSite
financial transaction
and
WebSite
temps
d'existence de
financial transaction
arrive
plus
t�t que
interval temporel
(=>
(
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
Collection
est une
instance
de
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
WebListing
le nombre d'
instances
dans
entit�
entit�
and
entit�
la
classe
d�crite par
entit�
+ le nombre d'
instances
dans
collection
est
BidCountFn
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
listingBuyer
WebListing
and
AutonomousAgent
entit�
est une
instance
de
objet
WebSite
est une
instance
de
WebSite
entit�
ECT est un
patient
de
WebListing
hostedOn
WebListing
and
WebSite
financial transaction
financial transaction
est une
instance
de
acheter
entit�
est un
patient
de
financial transaction
eCommerceSite
financial transaction
and
WebSite
financial transaction
est un
agent
de
AutonomousAgent
(=>
(
and
(
webPurchases
?PURCHASES ?BUYER ?SITE)
(
member
?BUYING ?PURCHASES))
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?BUYER)
(
eCommerceSite
?BUYING ?SITE)))
UXExperimentalTerms.kif 839-846
webPurchases
collection
,
humain
and
WebSite
financial transaction
est un
membre
de
collection
financial transaction
est une
instance
de
acheter
financial transaction
est un
agent
de
humain
eCommerceSite
financial transaction
and
WebSite
(=>
(
and
(
webSales
?SALES ?SELLER ?SITE)
(
member
?SELLING ?SALES))
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE)))
UXExperimentalTerms.kif 934-941
webSales
collection
,
humain
and
WebSite
financial transaction
est un
membre
de
collection
financial transaction
est une
instance
de
vendre
financial transaction
est un
agent
de
humain
eCommerceSite
financial transaction
and
WebSite
(=>
(
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
Processus
est une
instance
de
FinalValueFee
WebListing
financial transaction
,
AutonomousAgent
,
entit�
and
WebSite
WebListing
est une
instance
de
WebListing
financial transaction
est une
instance
de
vendre
AutonomousAgent
est une
instance
de
AutonomousAgent
entit�
est une
instance
de
physique
WebListing
est une
instance
de
WebListing
entit�
est un
patient
de
WebListing
entit�
est un
patient
de
financial transaction
financial transaction
cause
processus
processus
est un
agent
de
AutonomousAgent
hostedOn
WebListing
and
WebSite
AutonomousAgent
poss
�de
WebSite
eCommerceSite
financial transaction
and
AutonomousAgent
(=>
(
prohibitedItem
?ITEM ?SITE)
(
modalAttribute
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
eCommerceSite
?SELLING ?SITE)))
Prohibition
))
UXExperimentalTerms.kif 398-405
prohibitedItem
objet
and
WebSite
l'argument
entit�
entit�
est une
instance
de
vendre
eCommerceSite
entit�
and
WebSite
a la
force
modale
de
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
siteCatalog
Database
and
WebSite
objet
collection
and
cha�ne sympbolique
collection
est une
instance
de
collection
objet
est une
partie
de
Database
objet
d
�finie
collection
objet
objet
est un
membre
de
collection
objet
est une
instance
de
physique
objet
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
patient
(=>
(
webPurchases
?PURCHASES ?BUYER ?SITE)
(
forall
(?BUYING)
(=>
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?BUYER)
(
eCommerceSite
?BUYING ?SITE))
(
member
?BUYING ?PURCHASES))))
UXExperimentalTerms.kif 829-837
webPurchases
collection
,
humain
and
WebSite
financial transaction
financial transaction
est une
instance
de
acheter
financial transaction
est un
agent
de
humain
eCommerceSite
financial transaction
and
WebSite
financial transaction
est un
membre
de
collection
(=>
(
webSales
?SALES ?SELLER ?SITE)
(
forall
(?SELLING)
(=>
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE))
(
member
?SELLING ?SALES))))
UXExperimentalTerms.kif 924-932
webSales
collection
,
humain
and
WebSite
financial transaction
financial transaction
est une
instance
de
vendre
financial transaction
est un
agent
de
humain
eCommerceSite
financial transaction
and
WebSite
financial transaction
est un
membre
de
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