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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SRPEngagementFn

 Sigma KEE - SRPEngagementFn
SRPEngagementFn

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3717-3719
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3711-3711 域 SRPEngagementFn, 1 and SearchResultsPage
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3709-3709 例 SRPEngagementFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3713-3713 範圍 SRPEngagementFn and RealNumber

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4598-4598
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4597-4597
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4596-4596
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3715-3715

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