No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 408-416 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 404-404 |
Le nombre 1 argument de cellShape est une instance de cellule |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 405-405 |
Le nombre 2 argument de cellShape est une instance de attribut de forme |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 402-402 |
cellShape est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 403-403 |
cellShape est une sous-relation de shape |