| 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 2884-2885 | |
| (domain BoughtItemsFn 1 Collection) | UXExperimentalTerms.kif 2878-2878 | The number 1 argument of bought items is an instance of collection |
| (instance BoughtItemsFn UnaryFunction) | UXExperimentalTerms.kif 2876-2876 | Bought items is an instance of unary function |
| (range BoughtItemsFn NonnegativeInteger) | UXExperimentalTerms.kif 2880-2880 | The range of bought items is an instance of nonnegative integer |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage BoughtItemsFn "在 %1 裡購買的樣品數量") | domainEnglishFormat.kif 2906-2906 | |
| (format ChineseTraditionalLanguage BoughtItemsFn "在 %1 裡購買的樣品數量") | domainEnglishFormat.kif 2905-2905 | |
| (format EnglishLanguage BoughtItemsFn "number of items purchased in %1") | domainEnglishFormat.kif 2904-2904 | |
| (termFormat EnglishLanguage BoughtItemsFn "bought items") | UXExperimentalTerms.kif 2882-2882 |
| consequent |
|
|
| (=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER FinancialTransaction)))) (exists (?ITEM ?BUYING) (equal (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Physical) (instance ?BUYING Buying) (member ?BUYING ?COLL) (patient ?BUYING ?ITEM)))) (BoughtItemsFn ?COLL)))) |
UXExperimentalTerms.kif 2887-2903 |
|
|
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