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	O argumento numero 1 de invadingVirus e' uma instancia de ViralCellInvasion
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 25-25	O argumento numero 2 de invadingVirus e' uma instancia de Virus
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 21-21	invadingVirus e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 22-22	invadingVirus e' uma instancia de Relacao com Valor Unico
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 23-23	invadingVirus e' uma sub-relacao de agent

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