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	Le nombre 1 argument de invadingVirus est une instance de ViralCellInvasion
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 25-25	Le nombre 2 argument de invadingVirus est une instance de virus
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 21-21	invadingVirus est une instance de r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 22-22	invadingVirus est une instance de relation simple
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 23-23	invadingVirus est une sous-relation 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