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
O argumento numero 1 de
webSales
e' uma
instancia
de
Colecao
(
domain
webSales
2
Human
)
UXExperimentalTerms.kif 915-915
O argumento numero 2 de
webSales
e' uma
instancia
de
Humano
(
domain
webSales
3
WebSite
)
UXExperimentalTerms.kif 917-917
O argumento numero 3 de
webSales
e' uma
instancia
de
WebSite
(
instance
webSales
TernaryPredicate
)
UXExperimentalTerms.kif 911-911
webSales
e' uma
instancia
de
Predicado Ternario
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
Colecao
,
Humano
and
WebSite
Transacao Financeira
e'
membro
de
Colecao
Transacao Financeira
e' uma
instancia
de
Vender
Transacao Financeira
e' um
agente
de
Humano
eCommerceSite
Transacao Financeira
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
Colecao
,
Humano
and
WebSite
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Vender
Transacao Financeira
e' um
agente
de
Humano
eCommerceSite
Transacao Financeira
and
WebSite
Transacao Financeira
e'
membro
de
Colecao
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