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 引数は
コレクション
の
instance
では %n
(
instance
AuctionGMBFn
UnaryFunction
)
UXExperimentalTerms.kif 3191-3191
AuctionGMBFn
は
1変数関数
の
instance
では %n
(
range
AuctionGMBFn
CurrencyMeasure
)
UXExperimentalTerms.kif 3195-3195
AuctionGMBFn
の
range
は
通貨測定
のインスタンス では %n
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
コレクション
は
コレクション
の
instance
では %n
物理
物理
は
コレクション
の
member
では %n
物理
は
Auctioning
の
instance
では %n
記号文字列
エンティティー
_PURCHASE_AMOUNT
total
記号文字列
で記述される
class
and
エンティティー
_PURCHASE_AMOUNT
AuctionGMBFn
コレクション
は
エンティティー
_PURCHASE_AMOUNT と
equal
では %n
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