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
Il numero 1 argomenti di
webSales
è un
istanza
di
InsiemeConcreto
(
domain
webSales
2
Human
)
UXExperimentalTerms.kif 915-915
Il numero 2 argomenti di
webSales
è un
istanza
di
Umano
(
domain
webSales
3
WebSite
)
UXExperimentalTerms.kif 917-917
Il numero 3 argomenti di
webSales
è un
istanza
di
WebSite
(
instance
webSales
TernaryPredicate
)
UXExperimentalTerms.kif 911-911
webSales
è un'
istanza
di
PredicatoTernario
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
InsiemeConcreto
,
Umano
and
WebSite
ScambioFinanziario
è un
membro
di
InsiemeConcreto
ScambioFinanziario
è un'
istanza
di
Vendere
ScambioFinanziario
è un
agente
di
Umano
eCommerceSite
ScambioFinanziario
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
InsiemeConcreto
,
Umano
and
WebSite
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Vendere
ScambioFinanziario
è un
agente
di
Umano
eCommerceSite
ScambioFinanziario
and
WebSite
ScambioFinanziario
è un
membro
di
InsiemeConcreto
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