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
AuctionGMBFn
Sigma KEE - AuctionGMBFn
AuctionGMBFn
appearance as argument number 1
(
documentation
AuctionGMBFn
EnglishLanguage
"The sum of all purchase prices in a collection of
Auctioning
s.")
UXExperimentalTerms.kif 3197-3198
(
domain
AuctionGMBFn
1
Collection
)
UXExperimentalTerms.kif 3193-3193
Il numero 1 argomenti di
AuctionGMBFn
è un
istanza
di
InsiemeConcreto
(
instance
AuctionGMBFn
UnaryFunction
)
UXExperimentalTerms.kif 3191-3191
AuctionGMBFn
è un'
istanza
di
FunzioneUnaria
(
range
AuctionGMBFn
CurrencyMeasure
)
UXExperimentalTerms.kif 3195-3195
rango
di
AuctionGMBFn
è un'istanza di
MisuraMonetaria
appearance as argument number 2
(
format
ChineseLanguage
AuctionGMBFn
"%1 的
total
purchase
price
")
domainEnglishFormat.kif 2846-2846
(
format
ChineseTraditionalLanguage
AuctionGMBFn
"%1 的
total
purchase
price
")
domainEnglishFormat.kif 2845-2845
(
format
EnglishLanguage
AuctionGMBFn
"the
total
purchase
price
of %1")
domainEnglishFormat.kif 2844-2844
(
termFormat
EnglishLanguage
AuctionGMBFn
"gross merchandise bought in auctions")
UXExperimentalTerms.kif 3200-3200
consequent
(=>
(
and
(
instance
?AUCTIONS
Collection
)
(
forall
(?AUC)
(=>
(
member
?AUC ?AUCTIONS)
(
instance
?AUC
Auctioning
))))
(
exists
(?AMOUNT ?TOTAL_PURCHASE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
transactionAmount
?AUC ?AMOUNT)) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
AuctionGMBFn
?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 3202-3215
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Auctioning
Stringa
Entit�
_PURCHASE_AMOUNT
total
la
classe
descritta da
Stringa
and
Entit�
_PURCHASE_AMOUNT
AuctionGMBFn
InsiemeConcreto
is
uguale
a
Entit�
_PURCHASE_AMOUNT
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