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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SiteWideNewRegistrationsFn
SiteWideNewRegistrationsFn

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3424-3426
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3416-3416 Le nombre 1 argument de SiteWideNewRegistrationsFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3418-3418 Le nombre 2 argument de SiteWideNewRegistrationsFn est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3414-3414 SiteWideNewRegistrationsFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3420-3420 Le domaine de SiteWideNewRegistrationsFn est une instance de collection

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4542-4542
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4541-4541
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4540-4540
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3422-3422

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3428-3455


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