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 2884-2885
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2878-2878 Le nombre 1 argument de BoughtItemsFn est une instance de collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2876-2876 BoughtItemsFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2880-2880 Le domaine de BoughtItemsFn est une instance de nombre entier non n�gatif

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2914-2914
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2913-2913
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2912-2912
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2882-2882

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


No TPTP formula. May not be expressible in strict first order. 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