TreeView Knowledge Base Browser - qualifiedPageView

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

qualifiedPageView

Sigma KEE - qualifiedPageView

qualifiedPageView

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4076-4077
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4072-4072	Le nombre 1 argument de qualifiedPageView est une instance de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4074-4074	Le nombre 2 argument de qualifiedPageView est une instance de AccessingWebPage
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4070-4070	qualifiedPageView est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4294-4294
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4293-4293
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4292-4292
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65917-65917

antecedent

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

UXExperimentalTerms.kif 4079-4085

qualifiedPageView WebPage and AccessingWebPage
Experimenting Experimenting est une instance de WebPage Experimenting est un patient de AccessingWebPage treatedPage WebPage and Experimenting

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