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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BoughtItemsFn
BoughtItemsFn

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


(documentation BoughtItemsFn EnglishLanguage "(BoughtItemsFn ?COLL) returns the number of Physical which are patients of Buyings which are members of ?COLL.") UXExperimentalTerms.kif 3090-3091
(domain BoughtItemsFn 1 Collection) UXExperimentalTerms.kif 3084-3084
(instance BoughtItemsFn UnaryFunction) UXExperimentalTerms.kif 3082-3082
(range BoughtItemsFn NonnegativeInteger) UXExperimentalTerms.kif 3086-3086

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


(format EnglishLanguage BoughtItemsFn "number of items purchased in %1") domainEnglishFormat.kif 737-737
(termFormat EnglishLanguage BoughtItemsFn "bought items") UXExperimentalTerms.kif 3088-3088

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


(=>
    (and
        (instance ?COLL Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (instance ?MEMBER FinancialTransaction))))
    (equal
        (CardinalityFn
            (KappaFn ?ITEM
                (and
                    (instance ?ITEM Physical)
                    (instance ?BUYING Buying)
                    (member ?BUYING ?COLL)
                    (patient ?BUYING ?ITEM))))
        (BoughtItemsFn ?COLL)))
UXExperimentalTerms.kif 3093-3108


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners