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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - webSales
webSales

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1116-1117
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1110-1110 The number 1 argument of web sales is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1112-1112 The number 2 argument of web sales is an instance of human
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1114-1114 The number 3 argument of web sales is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1108-1108 web sales is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4971-4971
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4970-4970
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4969-4969
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1119-1119

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1131-1138
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1121-1129


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