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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SiteWideNewRegistrationsFn

 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 SiteWideNewRegistrationsFn 的 1 数量 是 时距 的 instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3418-3418 SiteWideNewRegistrationsFn 的 2 数量 是 WebSite 的 instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3414-3414 SiteWideNewRegistrationsFn 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3420-3420 SiteWideNewRegistrationsFn 的 range 是 群体 的实例

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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