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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3088-3089
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3082-3082 The number 1 argument of bought items is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3080-3080 Bought items is an instance of unary function
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3084-3084 The range of bought items is an instance of nonnegative integer

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2911-2911
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2910-2910
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2909-2909
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3086-3086

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3091-3106


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