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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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
(instance GMBFn UnaryFunction) UXExperimentalTerms.kif 2945-2945
(range GMBFn CurrencyMeasure) UXExperimentalTerms.kif 2949-2949

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


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


        (instance ?PURCHASES Collection)
        (forall (?MEMBER)
                (member ?MEMBER ?PURCHASES)
                (instance ?MEMBER Buying)))
        (exists (?REGION)
                (instance ?REGION GeopoliticalArea)
                (forall (?BUYER ?BUYING)
                            (instance ?BUYER AutonomousAgent)
                            (instance ?BUYING Buying)
                            (member ?BUYING ?PURCHASES)
                            (agent ?BUYING ?BUYER))
                        (located ?BUYER ?REGION))))))
                (KappaFn ?AMOUNT
                        (instance ?PURCHASE Buying)
                        (member ?PURCHASE ?PURCHASES)
                        (transactionAmount ?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
UXExperimentalTerms.kif 2956-2983

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