TreeView Knowledge Base Browser - SRPEngagementFn

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	The number 1 argument of SRP Engagement is an instance of search results page
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3709-3709	SRP Engagement is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3713-3713	The range of SRP Engagement is an instance of real number

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

consequent

No TPTP formula. May not be expressible in strict first order.

UXExperimentalTerms.kif 3721-3739

If a search results page is an instance of search results page and a list is an instance of search results and the list is a component of the search results page,
then the number of instances in the class described by a symbolic string and length of the list is equal to qualifying clicks on the search results page

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