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
webSales
Sigma KEE - webSales
webSales
appearance as argument number 1
(
documentation
webSales
EnglishLanguage
"(webSales ?COLLECTION ?HUMAN ?SITE) relates a collection of all instances of
Selling
by a
Human
on the ?SITE.")
UXExperimentalTerms.kif 919-920
(
domain
webSales
1
Collection
)
UXExperimentalTerms.kif 913-913
域
webSales
, 1 and
Collection
(
domain
webSales
2
Human
)
UXExperimentalTerms.kif 915-915
域
webSales
, 2 and
Human
(
domain
webSales
3
WebSite
)
UXExperimentalTerms.kif 917-917
域
webSales
, 3 and
WebSite
(
instance
webSales
TernaryPredicate
)
UXExperimentalTerms.kif 911-911
例
webSales
and
TernaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
webSales
"使用者 %2 在 %3 已 sold %1 ")
domainEnglishFormat.kif 4962-4962
(
format
ChineseTraditionalLanguage
webSales
"使用者 %2 在 %3 已 sold %1 ")
domainEnglishFormat.kif 4961-4961
(
format
EnglishLanguage
webSales
"user %2 at %3 has sold %1")
domainEnglishFormat.kif 4960-4960
(
termFormat
EnglishLanguage
webSales
"web sales")
UXExperimentalTerms.kif 922-922
antecedent
(=>
(
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
(=>
(
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