TreeView Knowledge Base Browser - QPViewsFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - QPViewsFn

QPViewsFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4172-4173
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4166-4166	O argumento numero 1 de QPViewsFn e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4164-4164	QPViewsFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4168-4168	O contra-dominio de QPViewsFn e' uma instancia de Colecao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4286-4286
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4285-4285
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4284-4284
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4170-4170

consequent

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

UXExperimentalTerms.kif 4175-4190

Humano e' uma instancia de Humano Colecao e' uma instancia de Colecao WebPage Processo and Experimenting
- WebPage e' uma instancia de WebPage Processo e' uma instancia de AccessingWebPage Experimenting e' uma instancia de Experimenting Processo e' um agente de Humano WebPage e' um patient de Processo treatedPage WebPage and Experimenting
- Processo e' membro de Colecao
Colecao e' igual a QPViewsFn Humano

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