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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BoughtItemsFn

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 3093-3094
(domain BoughtItemsFn 1 Collection) UXExperimentalTerms.kif 3087-3087 The number 1 argument of bought items is an instance of collection
(instance BoughtItemsFn UnaryFunction) UXExperimentalTerms.kif 3085-3085 Bought items is an instance of unary function
(range BoughtItemsFn NonnegativeInteger) UXExperimentalTerms.kif 3089-3089 The range of bought items is an instance of nonnegative integer

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


(format ChineseLanguage BoughtItemsFn "在 %1 裡購買的樣品數量") domainEnglishFormat.kif 2915-2915
(format ChineseTraditionalLanguage BoughtItemsFn "在 %1 裡購買的樣品數量") domainEnglishFormat.kif 2914-2914
(format EnglishLanguage BoughtItemsFn "number of items purchased in %1") domainEnglishFormat.kif 2913-2913
(termFormat EnglishLanguage BoughtItemsFn "bought items") UXExperimentalTerms.kif 3091-3091

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 3096-3111


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