TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2113-2114
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2111-2111	主持人身份的 1 数量是电脑的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2112-2112	主持人身份的 2 数量是电脑状态的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2110-2110	主持人身份是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2109-2109	主持人身份是属于的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3674-3674
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3673-3673
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3672-3672
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28671-28671
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28670-28670
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28669-28669