| appearance as argument number 1 |
|
| (documentation total EnglishLanguage "A binaryPredicate which relates a class of Quantities to their sum.") | UXExperimentalTerms.kif 4545-4546 | |
| (domain total 1 Class) | UXExperimentalTerms.kif 4539-4539 | total 的 1 数量 是 类 的 instance |
| (domain total 2 Quantity) | UXExperimentalTerms.kif 4541-4541 | total 的 2 数量 是 数量 的 instance |
| (instance total BinaryPredicate) | UXExperimentalTerms.kif 4537-4537 | total 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage total "total 价值在 %1 是 %2 ") | domainEnglishFormat.kif 4794-4794 | |
| (format ChineseTraditionalLanguage total "total 價值在 %1 是 %2 ") | domainEnglishFormat.kif 4793-4793 | |
| (format EnglishLanguage total "the total of values in %1 is %2") | domainEnglishFormat.kif 4792-4792 | |
| (termFormat EnglishLanguage total "total") | UXExperimentalTerms.kif 4543-4543 |
| antecedent |
|
|
| (=> (and (total ?CLASS ?QUANTITY) (instance ?ITEM ?CLASS)) (instance ?ITEM Quantity)) |
UXExperimentalTerms.kif 4548-4552 |
| 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 3210-3223 | |
| (=> (and (instance ?PURCHASES Collection) (forall (?MEMBER) (=> (member ?MEMBER ?PURCHASES) (instance ?MEMBER Buying))) (exists (?REGION) (and (instance ?REGION GeopoliticalArea) (forall (?BUYER ?BUYING) (=> (and (instance ?BUYER AutonomousAgent) (instance ?BUYING Buying) (member ?BUYING ?PURCHASES) (agent ?BUYING ?BUYER)) (located ?BUYER ?REGION)))))) (exists (?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT) (and (total (KappaFn ?AMOUNT (and (instance ?PURCHASE Buying) (member ?PURCHASE ?PURCHASES) (transactionAmount ?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT) (equal (GMBFn ?PURCHASES) ?TOTAL_PURCHASE_AMOUNT)))) |
UXExperimentalTerms.kif 2964-2991 | |
| (=> (and (instance ?SALES Collection) (forall (?MEMBER) (=> (member ?MEMBER ?SALES) (instance ?MEMBER Selling))) (exists (?REGION) (and (instance ?REGION GeopoliticalArea) (forall (?SELLER ?SELLING) (=> (and (instance ?SELLER AutonomousAgent) (instance ?SELLING Buying) (member ?SELLING ?SALES) (agent ?SELLING ?SELLER)) (located ?SELLER ?REGION)))))) (exists (?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT) (and (total (KappaFn ?AMOUNT (and (instance ?SALE Selling) (member ?SALE ?SALES) (transactionAmount ?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT) (equal (GMVFn ?SALES) ?TOTAL_SALE_AMOUNT)))) |
UXExperimentalTerms.kif 3007-3034 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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