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

KB Term:  Term intersection
English Word: 

Sigma KEE - ABPFn
ABPFn

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


(instance ABPFn UnaryFunction) UXExperimentalTerms.kif 3219-3219 Average buying price is an instance of unary function
(documentation ABPFn EnglishLanguage "Average buying price. Total GMB divided by the total number of items sold (not the transactions) in a given time interval.") UXExperimentalTerms.kif 3221-3222 Average buying price is an instance of unary function
(domain ABPFn 1 Collection) UXExperimentalTerms.kif 3224-3224 The number 1 argument of average buying price is an instance of collection
(range ABPFn CurrencyMeasure) UXExperimentalTerms.kif 3226-3226 The range of average buying price is an instance of currency measure

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


(termFormat EnglishLanguage ABPFn "average buying price") UXExperimentalTerms.kif 3228-3228
(format EnglishLanguage ABPFn "the average price of %1") domainEnglishFormat.kif 2644-2644
(format ChineseTraditionalLanguage ABPFn "%1 的 average price ") domainEnglishFormat.kif 2645-2645
(format ChineseLanguage ABPFn "%1 的 average price ") domainEnglishFormat.kif 2646-2646

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


(=>
    (and
        (equal ?X
            (ABPFn ?BUYINGS))
        (member ?BUYING ?BUYINGS))
    (instance ?BUYING Buying))		 UXExperimentalTerms.kif 3230-3234 If equal X and the average price of Y and Z is a member of Y, then Z is an instance of buying

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


(=>
    (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 3238-3258 If X is an instance of collection, Y is an instance of currency measure, Z is an instance of real number, equal Y and the value of X, and equal Z and the number of instances in the class described by W, then equal the average price of X, Y, and Z


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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners