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	域 QPViewsFn, 1 and Human
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4164-4164	例 QPViewsFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4168-4168	範圍 QPViewsFn and Collection

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

例 Human and Human 例 Collection and Collection WebPage Process and 試驗
- 例 WebPage and WebPage 例 Process and AccessingWebPage 例試驗 and 試驗 agent Process and Human 患者 Process and WebPage WebPage 是試驗的研究對象
- 會員 Process and Collection
等於 Collection and 所有的 treated web page 瀏覽從 Human

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