Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - total
total

appearance as argument number 1
-------------------------


(instance total BinaryPredicate) UXExperimentalTerms.kif 4526-4526 total is an instance of binary predicate
(domain total 1 Class) UXExperimentalTerms.kif 4528-4528 The number 1 argument of total is an instance of class
(domain total 2 Quantity) UXExperimentalTerms.kif 4530-4530 The number 2 argument of total is an instance of quantity
(documentation total EnglishLanguage "A binaryPredicate which relates a class of Quantities to their sum.") UXExperimentalTerms.kif 4534-4535 The number 2 argument of total is an instance of quantity

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage total "total") UXExperimentalTerms.kif 4532-4532
(format EnglishLanguage total "the total of values in %1 is %2") domainEnglishFormat.kif 4796-4796
(format ChineseTraditionalLanguage total "total 價值在 %1 是 %2 ") domainEnglishFormat.kif 4797-4797
(format ChineseLanguage total "total 价值在 %1 是 %2 ") domainEnglishFormat.kif 4798-4798

antecedent
-------------------------


(=>
    (and
        (total ?CLASS ?QUANTITY)
        (instance ?ITEM ?CLASS))
    (instance ?ITEM Quantity))		 UXExperimentalTerms.kif 4537-4541 If the total of values in X is Y and Z is an instance of X, then Z is an instance of quantity

consequent
-------------------------


(=>
    (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 2956-2983 If X is an instance of collection, For all Physical Y: if Y is a member of X, then Y is an instance of buying, and there exists Z such that Z is an instance of geopolitical area, W, V W is an instance of agent, V is an instance of buying, V is a member of X, and W is an agent of VW is located at Z, then there exist U, T, ?TOTAL_PURCHASE_AMOUNT such that the total of values in the class described by U is ?TOTAL_PURCHASE_AMOUNT, equal the value of X, and ?TOTAL_PURCHASE_AMOUNT
(=>
    (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 2999-3026 If X is an instance of collection, For all Physical Y: if Y is a member of X, then Y is an instance of selling, and there exists Z such that Z is an instance of geopolitical area, W, V W is an instance of agent, V is an instance of buying, V is a member of X, and W is an agent of VW is located at Z, then there exist U, T, ?TOTAL_SALE_AMOUNT such that the total of values in the class described by U is ?TOTAL_SALE_AMOUNT, equal the value of X, and ?TOTAL_SALE_AMOUNT
(=>
    (and
        (instance ?AUCTIONS Collection)
        (=>
            (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-3214 If X is an instance of collection and if Y is a member of X, then Y is an instance of auctioning, then there exist Z, ?TOTAL_PURCHASE_AMOUNT such that the total of values in the class described by Z is ?TOTAL_PURCHASE_AMOUNT, equal the total purchase price of X, and ?TOTAL_PURCHASE_AMOUNT


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners