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
域
eCommerceSite
, 1 and
FinancialTransaction
(
domain
eCommerceSite
2
WebSite
)
UXExperimentalTerms.kif 1707-1707
域
eCommerceSite
, 2 and
WebSite
(
instance
eCommerceSite
CaseRole
)
UXExperimentalTerms.kif 1703-1703
例
eCommerceSite
and
CaseRole
(
subrelation
eCommerceSite
broker
)
UXExperimentalTerms.kif 1711-1711
子關係
eCommerceSite
and
broker
(
subrelation
eCommerceSite
instrument
)
UXExperimentalTerms.kif 1709-1709
子關係
eCommerceSite
and
儀器
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
Collection
是在
WebSite
的
first
time
buyers
在其間
TimeInterval
會員
AutonomousAgent
and
Collection
FinancialTransaction
例
FinancialTransaction
and
Buying
agent
FinancialTransaction
and
AutonomousAgent
WebSite
facilitates
FinancialTransaction
期間
何時
FinancialTransaction
and
TimeInterval
(=>
(
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
Collection
是在
WebSite
的
first
time
buyers
在其間
TimeInterval
會員
AutonomousAgent
and
Collection
FinancialTransaction
例
FinancialTransaction
and
Buying
agent
FinancialTransaction
and
AutonomousAgent
WebSite
facilitates
FinancialTransaction
早期
何時
FinancialTransaction
and
TimeInterval
(=>
(
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
Collection
是在
WebSite
的
first
time
sellers
在其間
TimeInterval
會員
AutonomousAgent
and
Collection
FinancialTransaction
例
FinancialTransaction
and
Selling
agent
FinancialTransaction
and
AutonomousAgent
WebSite
facilitates
FinancialTransaction
期間
何時
FinancialTransaction
and
TimeInterval
(=>
(
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
Collection
是在
WebSite
的
first
time
sellers
在其間
TimeInterval
會員
AutonomousAgent
and
Collection
FinancialTransaction
例
FinancialTransaction
and
Selling
agent
FinancialTransaction
and
AutonomousAgent
WebSite
facilitates
FinancialTransaction
早期
何時
FinancialTransaction
and
TimeInterval
(=>
(
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
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
WebListing
等於
部
基數
entity
entity
and
entity
卡帕
entity
and
例
entity
and
WebListing
例
entity
and
WebSite
例
entity
and
Physical
會員
entity
and
Collection
患者
entity
and
entity
entity
是在
entity
hosted
entity
例
entity
and
Buying
患者
entity
and
entity
entity
facilitates
entity
and
基數
Collection
and 在
Collection
的
bids
數字
(=>
(
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
AutonomousAgent
buys
WebListing
例
Entity
and
Object
例
WebSite
and
WebSite
患者
WebListing
and
Entity
ECT
WebListing
是在
WebSite
hosted
FinancialTransaction
例
FinancialTransaction
and
Buying
患者
FinancialTransaction
and
Entity
WebSite
facilitates
FinancialTransaction
agent
FinancialTransaction
and
AutonomousAgent
(=>
(
and
(
webPurchases
?PURCHASES ?BUYER ?SITE)
(
member
?BUYING ?PURCHASES))
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?BUYER)
(
eCommerceSite
?BUYING ?SITE)))
UXExperimentalTerms.kif 839-846
使用者
Human
在
WebSite
已
bought
Collection
會員
FinancialTransaction
and
Collection
例
FinancialTransaction
and
Buying
agent
FinancialTransaction
and
Human
WebSite
facilitates
FinancialTransaction
(=>
(
and
(
webSales
?SALES ?SELLER ?SITE)
(
member
?SELLING ?SALES))
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE)))
UXExperimentalTerms.kif 934-941
使用者
Human
在
WebSite
已
sold
Collection
會員
FinancialTransaction
and
Collection
例
FinancialTransaction
and
Selling
agent
FinancialTransaction
and
Human
WebSite
facilitates
FinancialTransaction
(=>
(
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
例
Process
and
FinalValueFee
WebListing
FinancialTransaction
,
AutonomousAgent
,
Entity
and
WebSite
例
WebListing
and
WebListing
例
FinancialTransaction
and
Selling
例
AutonomousAgent
and
AutonomousAgent
例
Entity
and
Physical
例
WebListing
and
WebListing
患者
WebListing
and
Entity
患者
FinancialTransaction
and
Entity
原因
FinancialTransaction
and
Process
agent
Process
and
AutonomousAgent
WebListing
是在
WebSite
hosted
擁有
AutonomousAgent
and
WebSite
AutonomousAgent
facilitates
FinancialTransaction
(=>
(
prohibitedItem
?ITEM ?SITE)
(
modalAttribute
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
eCommerceSite
?SELLING ?SITE)))
Prohibition
))
UXExperimentalTerms.kif 398-405
Object
是
prohibited
販賣在
WebSite
模態屬性
entity
例
entity
and
Selling
WebSite
facilitates
entity
and
禁令
(=>
(
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
數據庫
是
catalog
對於
WebSite
Object
Collection
and
SymbolicString
例
Collection
and
Collection
部分
Object
and
數據庫
代表
Object
and
Collection
Object
會員
Object
and
Collection
例
Object
and
Physical
能力
卡帕
SymbolicString
and
例
SymbolicString
and
Buying
WebSite
facilitates
SymbolicString
,
患者
and
Object
(=>
(
webPurchases
?PURCHASES ?BUYER ?SITE)
(
forall
(?BUYING)
(=>
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?BUYER)
(
eCommerceSite
?BUYING ?SITE))
(
member
?BUYING ?PURCHASES))))
UXExperimentalTerms.kif 829-837
使用者
Human
在
WebSite
已
bought
Collection
FinancialTransaction
例
FinancialTransaction
and
Buying
agent
FinancialTransaction
and
Human
WebSite
facilitates
FinancialTransaction
會員
FinancialTransaction
and
Collection
(=>
(
webSales
?SALES ?SELLER ?SITE)
(
forall
(?SELLING)
(=>
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE))
(
member
?SELLING ?SALES))))
UXExperimentalTerms.kif 924-932
使用者
Human
在
WebSite
已
sold
Collection
FinancialTransaction
例
FinancialTransaction
and
Selling
agent
FinancialTransaction
and
Human
WebSite
facilitates
FinancialTransaction
會員
FinancialTransaction
and
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