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
域
AuctionGMBFn
, 1 and
Collection
(
instance
AuctionGMBFn
UnaryFunction
)
UXExperimentalTerms.kif 3191-3191
例
AuctionGMBFn
and
UnaryFunction
(
range
AuctionGMBFn
CurrencyMeasure
)
UXExperimentalTerms.kif 3195-3195
範圍
AuctionGMBFn
and
CurrencyMeasure
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
例
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
Auctioning
SymbolicString
entity
_PURCHASE_AMOUNT
total
價值在
卡帕
SymbolicString
and
SymbolicString
是
Physical
的
transaction
總額 是
entity
_PURCHASE_AMOUNT
等於
Collection
的
total
purchase
price
and
entity
_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