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 数量 是
金融交易
的
instance
(
domain
eCommerceSite
2
WebSite
)
UXExperimentalTerms.kif 1707-1707
eCommerceSite
的 2 数量 是
WebSite
的
instance
(
instance
eCommerceSite
CaseRole
)
UXExperimentalTerms.kif 1703-1703
eCommerceSite
是
格角色
的
instance
(
subrelation
eCommerceSite
broker
)
UXExperimentalTerms.kif 1711-1711
eCommerceSite
是
broker
的
subrelation
(
subrelation
eCommerceSite
instrument
)
UXExperimentalTerms.kif 1709-1709
eCommerceSite
是
工具
的
subrelation
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
如果
群体
是在
WebSite
的
first
time
buyers
在其间
时距
和
施事体
是
那个 群体
的
member
,
然后 有存在
金融交易
这样
那个 金融交易
是
购买
的
instance
和
那个 施事体
是
那个 金融交易
的
agent
和
那个 WebSite
facilitates
那个 金融交易
和
那个 金融交易
出现 的
time
在
那个 时距
时段内发生
(=>
(
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
如果
群体
是在
WebSite
的
first
time
buyers
在其间
时距
和
施事体
是
那个 群体
的
member
,
然后 不存在
金融交易
这样
那个 金融交易
是
购买
的
instance
和
那个 施事体
是
那个 金融交易
的
agent
和
那个 WebSite
facilitates
那个 金融交易
和
那个 金融交易
出现 的
time
比
那个 时距
发生的
earlier
(=>
(
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
如果
群体
是在
WebSite
的
first
time
sellers
在其间
时距
和
施事体
是
那个 群体
的
member
,
然后 有存在
金融交易
这样
那个 金融交易
是
出售
的
instance
和
那个 施事体
是
那个 金融交易
的
agent
和
那个 WebSite
facilitates
那个 金融交易
和
那个 金融交易
出现 的
time
在
那个 时距
时段内发生
(=>
(
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
如果
群体
是在
WebSite
的
first
time
sellers
在其间
时距
和
施事体
是
那个 群体
的
member
,
然后 不存在
金融交易
这样
那个 金融交易
是
出售
的
instance
和
那个 施事体
是
那个 金融交易
的
agent
和
那个 WebSite
facilitates
那个 金融交易
和
那个 金融交易
出现 的
time
比
那个 时距
发生的
earlier
(=>
(
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
如果
群体
是
群体
的
instance
和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
WebListing
的
instance
,
然后 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
所描述的类别
instance
的数量 和
那个 群体
instance
的数量
equal
在
那个 群体
的
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
如果
施事体
buys
WebListing
和
实体
是
客体
的
instance
和
WebSite
是
WebSite
的
instance
和
那个 实体
ECT 是
那个 WebListing
的
patient
和
那个 WebListing
是在
那个 WebSite
hosted
,
然后 有存在
金融交易
这样
那个 金融交易
是
购买
的
instance
和
那个 实体
是
那个 金融交易
的
patient
和
那个 WebSite
facilitates
那个 金融交易
和
那个 施事体
是
那个 金融交易
的
agent
(=>
(
and
(
webPurchases
?PURCHASES ?BUYER ?SITE)
(
member
?BUYING ?PURCHASES))
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?BUYER)
(
eCommerceSite
?BUYING ?SITE)))
UXExperimentalTerms.kif 839-846
如果 使用者
人类
在
WebSite
已
bought
群体
和
金融交易
是
那个 群体
的
member
,
然后
那个 金融交易
是
购买
的
instance
和
那个 人类
是
那个 金融交易
的
agent
和
那个 WebSite
facilitates
那个 金融交易
(=>
(
and
(
webSales
?SALES ?SELLER ?SITE)
(
member
?SELLING ?SALES))
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE)))
UXExperimentalTerms.kif 934-941
如果 使用者
人类
在
WebSite
已
sold
群体
和
金融交易
是
那个 群体
的
member
,
然后
那个 金融交易
是
出售
的
instance
和
那个 人类
是
那个 金融交易
的
agent
和
那个 WebSite
facilitates
那个 金融交易
(=>
(
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
如果
过程
是
FinalValueFee
的
instance
,
然后 有存在
WebListing
,
金融交易
,, ,
施事体
,, ,
实体
, and 和
WebSite
这样
那个 WebListing
是
WebListing
的
instance
和
那个 金融交易
是
出售
的
instance
和
那个 施事体
是
施事体
的
instance
和
那个 实体
是
物理
的
instance
和
那个 WebListing
是
WebListing
的
instance
和
那个 实体
是
那个 WebListing
的
patient
和
那个 实体
是
那个 金融交易
的
patient
和
那个 金融交易
causes
那个 过程
和
那个 施事体
是
那个 过程
的
agent
和
那个 WebListing
是在
那个 WebSite
hosted
和
那个 施事体
possesses
那个 WebSite
和
那个 施事体
facilitates
那个 金融交易
(=>
(
prohibitedItem
?ITEM ?SITE)
(
modalAttribute
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
eCommerceSite
?SELLING ?SITE)))
Prohibition
))
UXExperimentalTerms.kif 398-405
如果
客体
是
prohibited
贩卖在
WebSite
,
然后 有存在
实体
这样
那个 实体
是
出售
的
instance
和
那个 WebSite
facilitates
那个 实体
的声明 has
禁令
的语气
(=>
(
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
,
然后 有存在
客体
,
群体
, and 和
符号串
这样
那个 群体
是
群体
的
instance
和
那个 客体
是
那个 数据库
的
part
和
那个 客体
表达
那个 群体
和 对所有
另一个 客体
如果
那个 另外 客体
是
那个 群体
的
member
,
然后
那个 另外 客体
是
物理
的
instance
和
那个 另外 客体
能够担当
受事
的角色做
那个 符号串
所描述的类别
(=>
(
webPurchases
?PURCHASES ?BUYER ?SITE)
(
forall
(?BUYING)
(=>
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?BUYER)
(
eCommerceSite
?BUYING ?SITE))
(
member
?BUYING ?PURCHASES))))
UXExperimentalTerms.kif 829-837
如果 使用者
人类
在
WebSite
已
bought
群体
,
然后 对所有
金融交易
如果
那个 金融交易
是
购买
的
instance
和
那个 人类
是
那个 金融交易
的
agent
和
那个 WebSite
facilitates
那个 金融交易
,
然后
那个 金融交易
是
那个 群体
的
member
(=>
(
webSales
?SALES ?SELLER ?SITE)
(
forall
(?SELLING)
(=>
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE))
(
member
?SELLING ?SALES))))
UXExperimentalTerms.kif 924-932
如果 使用者
人类
在
WebSite
已
sold
群体
,
然后 对所有
金融交易
如果
那个 金融交易
是
出售
的
instance
和
那个 人类
是
那个 金融交易
的
agent
和
那个 WebSite
facilitates
那个 金融交易
,
然后
那个 金融交易
是
那个 群体
的
member
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