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 |