Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GMBFn
GMBFn

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


(documentation GMBFn EnglishLanguage "The sum of all transactionAmounts for a collection of Buyings where all the agents of the buyings are in the same GeopoliticalArea.") UXExperimentalTerms.kif 2951-2952
(domain GMBFn 1 Collection) UXExperimentalTerms.kif 2947-2947 GMBFn, 1 and Collection
(instance GMBFn UnaryFunction) UXExperimentalTerms.kif 2945-2945 GMBFn and UnaryFunction
(range GMBFn CurrencyMeasure) UXExperimentalTerms.kif 2949-2949 範圍 GMBFn and CurrencyMeasure

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


(format ChineseLanguage GMBFn "%1 的 value ") domainEnglishFormat.kif 3522-3522
(format ChineseTraditionalLanguage GMBFn "%1 的 value ") domainEnglishFormat.kif 3521-3521
(format EnglishLanguage GMBFn "the value of %1") domainEnglishFormat.kif 3520-3520
(termFormat EnglishLanguage GMBFn "gross merchandise bought") UXExperimentalTerms.kif 2954-2954

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


(=>
    (and
        (instance ?BUYINGS Collection)
        (instance ?GMB CurrencyMeasure)
        (instance ?TOTAL RealNumber)
        (equal ?GMB
            (GMBFn ?BUYINGS))
        (equal ?TOTAL
            (CardinalityFn
                (KappaFn ?ITEM
                    (and
                        (instance ?ITEM Object)
                        (exists (?BUYING)
                            (and
                                (member ?BUYING ?BUYINGS)
                                (patient ?BUYING ?ITEM))))))))
    (equal
        (ABPFn ?BUYINGS)
        (DivisionFn ?GMB ?TOTAL)))
UXExperimentalTerms.kif 3239-3259

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


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