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	O argumento numero 1 de qualifiedPageView e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4074-4074	O argumento numero 2 de qualifiedPageView e' uma instancia de AccessingWebPage
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4070-4070	qualifiedPageView e' uma instancia de Predicado Binario

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 e' uma instancia de WebPage Experimenting e' um 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