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 |
O argumento numero 1 de cellShape e' uma instancia de Celula |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 405-405 |
O argumento numero 2 de cellShape e' uma instancia de Atributo de Forma |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 402-402 |
cellShape e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 403-403 |
cellShape e' uma sub-relacao de shape |