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
Le nombre 1 argument de
webSales
est une
instance
de
collection
(
domain
webSales
2
Human
)
UXExperimentalTerms.kif 915-915
Le nombre 2 argument de
webSales
est une
instance
de
humain
(
domain
webSales
3
WebSite
)
UXExperimentalTerms.kif 917-917
Le nombre 3 argument de
webSales
est une
instance
de
WebSite
(
instance
webSales
TernaryPredicate
)
UXExperimentalTerms.kif 911-911
webSales
est une
instance
de
pr�dicat ternaire
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
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
(=>
(
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