TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 26-30
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 24-24	入侵病毒的 1 数量是病毒细胞入侵的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 25-25	入侵病毒的 2 数量是病毒的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 21-21	入侵病毒是格角色的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 22-22	入侵病毒是单值关系的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 23-23	入侵病毒是主事的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1381-1381
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1380-1380
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1379-1379
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30799-30799
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30798-30798
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30797-30797