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
Die Zahl 1 Argument von
webSales
ist ein
fall
von
Collection
%n{nicht}
(
domain
webSales
2
Human
)
UXExperimentalTerms.kif 915-915
Die Zahl 2 Argument von
webSales
ist ein
fall
von
Human
%n{nicht}
(
domain
webSales
3
WebSite
)
UXExperimentalTerms.kif 917-917
Die Zahl 3 Argument von
webSales
ist ein
fall
von
WebSite
%n{nicht}
(
instance
webSales
TernaryPredicate
)
UXExperimentalTerms.kif 911-911
webSales
ist ein
fall
von
TernaryPredicate
%n{nicht}
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
Wenn
webSales
Collection
,
Human
and
WebSite
und
FinancialTransaction
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** FinancialTransaction
ist ein
fall
von
Selling
%n{nicht} und
** FinancialTransaction
ist der
agent
von
** Human
%n{nicht} und
eCommerceSite
** FinancialTransaction
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
Wenn
webSales
Collection
,
Human
and
WebSite
,
dann fuer alle
FinancialTransaction
wenn
** FinancialTransaction
ist ein
fall
von
Selling
%n{nicht} und
** FinancialTransaction
ist der
agent
von
** Human
%n{nicht} und
eCommerceSite
** FinancialTransaction
and
** WebSite
,
dann
** FinancialTransaction
ist ein
Mitglied
von
** Collection
%n{nicht}
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