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
Il numero 1 argomenti di
eCommerceSite
è un
istanza
di
ScambioFinanziario
(
domain
eCommerceSite
2
WebSite
)
UXExperimentalTerms.kif 1707-1707
Il numero 2 argomenti di
eCommerceSite
è un
istanza
di
WebSite
(
instance
eCommerceSite
CaseRole
)
UXExperimentalTerms.kif 1703-1703
eCommerceSite
è un'
istanza
di
RuoloSemantico
(
subrelation
eCommerceSite
broker
)
UXExperimentalTerms.kif 1711-1711
eCommerceSite
è una
sottorelazione
di
broker
(
subrelation
eCommerceSite
instrument
)
UXExperimentalTerms.kif 1709-1709
eCommerceSite
è una
sottorelazione
di
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
firstTimeBuyers
IntervalloTemporale
,
WebSite
and
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Acquistare
ScambioFinanziario
è un
agente
di
AutonomousAgent
eCommerceSite
ScambioFinanziario
and
WebSite
il
tempo
di esistenza di
ScambioFinanziario
has luogo
durante
IntervalloTemporale
(=>
(
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
IntervalloTemporale
,
WebSite
and
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Acquistare
ScambioFinanziario
è un
agente
di
AutonomousAgent
eCommerceSite
ScambioFinanziario
and
WebSite
il
tempo
di esistenza di
ScambioFinanziario
accades
prima
di
IntervalloTemporale
(=>
(
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
IntervalloTemporale
,
WebSite
and
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Vendere
ScambioFinanziario
è un
agente
di
AutonomousAgent
eCommerceSite
ScambioFinanziario
and
WebSite
il
tempo
di esistenza di
ScambioFinanziario
has luogo
durante
IntervalloTemporale
(=>
(
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
IntervalloTemporale
,
WebSite
and
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Vendere
ScambioFinanziario
è un
agente
di
AutonomousAgent
eCommerceSite
ScambioFinanziario
and
WebSite
il
tempo
di esistenza di
ScambioFinanziario
accades
prima
di
IntervalloTemporale
(=>
(
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
WebListing
il numero di
istanzia
in
Entit�
Entit�
and
Entit�
la
classe
descritta da
Entit�
+ il numero di
istanzia
in
InsiemeConcreto
is
uguale
a
BidCountFn
InsiemeConcreto
(=>
(
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�
è un'
istanza
di
Oggetto
WebSite
è un'
istanza
di
WebSite
Entit�
ECT è un
paziente
di
WebListing
hostedOn
WebListing
and
WebSite
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Acquistare
Entit�
è un
paziente
di
ScambioFinanziario
eCommerceSite
ScambioFinanziario
and
WebSite
ScambioFinanziario
è un
agente
di
AutonomousAgent
(=>
(
and
(
webPurchases
?PURCHASES ?BUYER ?SITE)
(
member
?BUYING ?PURCHASES))
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?BUYER)
(
eCommerceSite
?BUYING ?SITE)))
UXExperimentalTerms.kif 839-846
webPurchases
InsiemeConcreto
,
Umano
and
WebSite
ScambioFinanziario
è un
membro
di
InsiemeConcreto
ScambioFinanziario
è un'
istanza
di
Acquistare
ScambioFinanziario
è un
agente
di
Umano
eCommerceSite
ScambioFinanziario
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
InsiemeConcreto
,
Umano
and
WebSite
ScambioFinanziario
è un
membro
di
InsiemeConcreto
ScambioFinanziario
è un'
istanza
di
Vendere
ScambioFinanziario
è un
agente
di
Umano
eCommerceSite
ScambioFinanziario
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
Processo
è un'
istanza
di
FinalValueFee
WebListing
ScambioFinanziario
,
AutonomousAgent
,
Entit�
and
WebSite
WebListing
è un'
istanza
di
WebListing
ScambioFinanziario
è un'
istanza
di
Vendere
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Entit�
è un'
istanza
di
Entit�Concreta
WebListing
è un'
istanza
di
WebListing
Entit�
è un
paziente
di
WebListing
Entit�
è un
paziente
di
ScambioFinanziario
ScambioFinanziario
causa
s
Processo
Processo
è un
agente
di
AutonomousAgent
hostedOn
WebListing
and
WebSite
AutonomousAgent
possiede
es
WebSite
eCommerceSite
ScambioFinanziario
and
AutonomousAgent
(=>
(
prohibitedItem
?ITEM ?SITE)
(
modalAttribute
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
eCommerceSite
?SELLING ?SITE)))
Prohibition
))
UXExperimentalTerms.kif 398-405
prohibitedItem
Oggetto
and
WebSite
l'affermazione
Entit�
Entit�
è un'
istanza
di
Vendere
eCommerceSite
Entit�
and
WebSite
ha il modello di forza di
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
Oggetto
InsiemeConcreto
and
Stringa
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Oggetto
è una
parte
di
Database
Oggetto
esprime
InsiemeConcreto
Oggetto
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
è un'
istanza
di
Entit�Concreta
Oggetto
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
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
InsiemeConcreto
,
Umano
and
WebSite
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Acquistare
ScambioFinanziario
è un
agente
di
Umano
eCommerceSite
ScambioFinanziario
and
WebSite
ScambioFinanziario
è un
membro
di
InsiemeConcreto
(=>
(
webSales
?SALES ?SELLER ?SITE)
(
forall
(?SELLING)
(=>
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE))
(
member
?SELLING ?SALES))))
UXExperimentalTerms.kif 924-932
webSales
InsiemeConcreto
,
Umano
and
WebSite
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Vendere
ScambioFinanziario
è un
agente
di
Umano
eCommerceSite
ScambioFinanziario
and
WebSite
ScambioFinanziario
è un
membro
di
InsiemeConcreto
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